Volume 53, Issue 1-4

Search all Annals of Mathematics and Artificial Intelligence articles

August 2008

Logic in AI: A Special Issue Dedicated to Victor W. Marek on the Occasion of His 65th birthday

Filter by

Volume:

Sort by

Date published:

New to old Old to new

14 articles in this issue

Preface
Michael Kaminski
Mirosław Truszczyński
EditorialNotes 20 February 2009 Pages: 1 - 3
My work with Victor Marek: a mathematician looks at answer set programming
Jeffrey B. Remmel
OriginalPaper 07 February 2009 Pages: 5 - 16
My six encounters with Victor Marek—a personal account
Mirosław Truszczyński
OriginalPaper 21 January 2009 Pages: 17 - 20
Default logic generalized and simplified
Alexander Bochman
OriginalPaper 27 January 2009 Pages: 21 - 49
Reasoning about temporal properties of rational play
Nils Bulling
Wojciech Jamroga
Jürgen Dix
OriginalPaper 29 January 2009 Pages: 51 - 114
Exploiting conjunctive queries in description logic programs
Thomas Eiter
Giovambattista Ianni
Roman Schindlauer
OriginalPaper 27 January 2009 Pages: 115 - 152
Justification logics, logics of knowledge, and conservativity
Melvin Fitting
OriginalPaper 24 January 2009 Pages: 153 - 167
On the relation among answer set solvers
Enrico Giunchiglia
Nicola Leone
Marco Maratea
OriginalPaper 24 January 2009 Pages: 169 - 204
A non-preferential semantics of non-monotonic modal logic
Michael Kaminski
OriginalPaper 27 January 2009 Pages: 205 - 223
From Hilbert’s program to a logic tool box
J. A. Makowsky
OriginalPaper 29 January 2009 Pages: 225 - 250
Integrating answer set programming and constraint logic programming
Veena S. Mellarkod
Michael Gelfond
Yuanlin Zhang
OriginalPaper 28 February 2009 Pages: 251 - 287
Consistency properties and set based logic programming
Anil Nerode
Jeffrey B. Remmel
OriginalPaper 06 March 2009 Pages: 289 - 311
Stable models and difference logic
Ilkka Niemelä
OriginalPaper 30 January 2009 Pages: 313 - 329
Hyperequivalence of logic programs with respect to supported models
Mirosław Truszczyński
Stefan Woltran
OriginalPaper 28 January 2009 Pages: 331 - 365

Volume 53, Issue 1-4

Search

Navigation