Unification for effective and finite semantic tableaux in first-order logic the SOFIA prover : [abstract] /

QR kód

Unification for effective and finite semantic tableaux in first-order logic the SOFIA prover : [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Kovásznai Gergely
Testületi szerző:	Conference of PhD students in computer science (4.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2004
Sorozat:	Conference of PhD Students in Computer Science 4
Kulcsszavak:	Számítástechnika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59776

Hasonló tételek

HyperS tableaux - heuristic hyper tableaux
Szerző: Kovásznai Gergely
Megjelent: (2005)

About the axiomatization of first- and second-order spatio-temporal logics [abstract] /
Szerző: Vályi Sándor
Megjelent: (2000)

Nondeterministic programming within the frame of first order classical logic part 1 /
Szerző: Gergely Tamás, et al.
Megjelent: (1980)

Nondeterministic programming within the frame of first order classical logic part 2 /
Szerző: Gergely Tamás, et al.
Megjelent: (1980)

A universal unification algorithm based on unification-driven leftmost outermost narrowing
Szerző: Fassbender Heinz, et al.
Megjelent: (1994)

Finite state evaluation of logical formulas Jevons' approach (1870) and contemporary description /
Szerző: Amblard Paul
Megjelent: (2006)

Trace simulation semantics is not finitely based over BCCSP
Szerző: Aceto Luca, et al.
Megjelent: (2017)

XML semantics [abstract] /
Szerző: Havasi Ferenc, et al.
Megjelent: (2002)

On the Heapability of Finite Partial Orders
Szerző: Balogh János, et al.
Megjelent: (2020)

Temporal logic with cyclic counting and the degree of aperiodicity of finite automata
Szerző: Ésik Zoltán, et al.
Megjelent: (2003)

Common logic [abstract] /
Szerző: Demián Tamás
Megjelent: (2010)

Weighted first-order logics over semirings
Szerző: Mandrali Eleni, et al.
Megjelent: (2015)

XML semantics extension
Szerző: Havasi Ferenc
Megjelent: (2002)

Debug slicing of logic programs [abstract] /
Szerző: Harmath László, et al.
Megjelent: (2000)

Semantic web services in .NET aspect [abstract] /
Szerző: Farkas Péter, et al.
Megjelent: (2004)

Modelling container distribution with fuzzy logic [abstract] /
Szerző: Raicu Gabriel
Megjelent: (2004)

Adding semantics to measurements ontology-guided, systematic performance analysis /
Szerző: Klenik Attila, et al.
Megjelent: (2023)

Congruences on finite automata [abstract] /
Szerző: Popović Zarko
Megjelent: (2000)

Changing the Basis of Contextual Representations with Explicit Semantics
Szerző: Ficsor Tamás, et al.
Megjelent: (2021)

The logic of aggregated data
Szerző: Gelsema Tjalling
Megjelent: (2019)

Modal logics with function symbols
Szerző: Tóth K.
Megjelent: (1979)

The debug slicing of logic programs
Szerző: Szilágyi Gyöngyi, et al.
Megjelent: (2001)

Evaluating the Adversarial Robustness of Semantic Segmentation Trying Harder Pays Off /
Szerző: Halmosi Levente, et al.
Megjelent: (2025)

Logical foundations for a general theory of systems
Szerző: Gergely Tamás, et al.
Megjelent: (1975)

Using decision trees to infer semantic functions of attribute grammars [abstract] /
Szerző: Zvada Szilvia, et al.
Megjelent: (2000)

Operator-dependent modifiers in nilpotent logical systems
Szerző: Dombi József, et al.
Megjelent: (2018)

Principal varieties of finite congruences [abstract] /
Szerző: Piirainen Ville
Megjelent: (2008)

Automatic checking of the usage of the C++ move semantics
Szerző: Baráth Áron, et al.
Megjelent: (2015)

Tree transformations and the semantics of loop-free programs
Szerző: Arbib Michael Anthony, et al.
Megjelent: (1978)

The optimistic and cautious semantics for inconsistent knowledge bases
Szerző: Grant John, et al.
Megjelent: (1995)

Improving content management - a semantic approach
Szerző: Kovács Barna
Megjelent: (2008)

On the complexity of dynamic tests for logic functions
Szerző: Vardanân V. A.
Megjelent: (1994)

The logic of knights, knaves, normals and mutes
Szerző: Aszalós László
Megjelent: (2000)

Relational databases and homogeneity in logics with counting
Szerző: Turull Torres José María
Megjelent: (2006)

Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
Szerző: Droste Manfred, et al.
Megjelent: (2023)

Learning in logic
Szerző: Horváth Tamás
Megjelent: (2012)

The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /
Szerző: Bunyik Karina, et al.
Megjelent: (2010)

On a class of unary operators in continuous-valued logic
Szerző: Dombi József, et al.
Megjelent: (2024)

The generalized sigmoid function and its connection with logical operators
Szerző: Dombi József, et al.
Megjelent: (2022)

Generalizing the Sigmoid Function Using Continuous-valued Logic
Szerző: Dombi József, et al.
Megjelent: (2022)