From Hilbert’s program to a logic tool box (English)
- New search for: Makowsky, J. A.
- New search for: Makowsky, J. A.
In:
Annals of Mathematics and Artificial Intelligence
;
53
, 1-4
; 225-250
;
2008
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:From Hilbert’s program to a logic tool box
-
Contributors:Makowsky, J. A. ( author )
-
Published in:Annals of Mathematics and Artificial Intelligence ; 53, 1-4 ; 225-250
-
Publisher:
- New search for: Springer Netherlands
- New search for: Springer Science + Business Media B.V
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2008
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 54.72$jKünstliche Intelligenz / 31.00$jMathematik: Allgemeines / 31.00 / 54.72
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.72$jKünstliche Intelligenz / 31.00$jMathematik: Allgemeines / 31.00 Mathematik: Allgemeines / 54.72 Künstliche Intelligenz -
Source:
Table of contents – Volume 53, Issue 1-4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
PrefaceKaminski, Michael / Truszczyński, Mirosław et al. | 2008
- 5
-
My work with Victor Marek: a mathematician looks at answer set programmingRemmel, Jeffrey B. et al. | 2008
- 17
-
My six encounters with Victor Marek—a personal accountTruszczyński, Mirosław et al. | 2008
- 21
-
Default logic generalized and simplifiedBochman, Alexander et al. | 2008
- 115
-
Exploiting conjunctive queries in description logic programsEiter, Thomas / Ianni, Giovambattista / Krennwallner, Thomas / Schindlauer, Roman et al. | 2008
- 153
-
Justification logics, logics of knowledge, and conservativityFitting, Melvin et al. | 2008
- 205
-
A non-preferential semantics of non-monotonic modal logicKaminski, Michael et al. | 2008
- 225
-
From Hilbert’s program to a logic tool boxMakowsky, J. A. et al. | 2008
- 251
-
Integrating answer set programming and constraint logic programmingMellarkod, Veena S. / Gelfond, Michael / Zhang, Yuanlin et al. | 2008
- 289
-
Consistency properties and set based logic programmingNerode, Anil / Remmel, Jeffrey B. et al. | 2008
- 313
-
Stable models and difference logicNiemelä, Ilkka et al. | 2008
- 331
-
Hyperequivalence of logic programs with respect to supported modelsTruszczyński, Mirosław / Woltran, Stefan et al. | 2008
-
On the relation among answer set solversGiunchiglia, Enrico / Leone, Nicola / Maratea, Marco et al. | 2009
-
Reasoning about temporal properties of rational playBulling, Nils / Jamroga, Wojciech / Dix, Jürgen et al. | 2009