Volume 51, Issue 2-4

December 2007

Special Issue in honor of Professor Jack Minker’s 80th birthday

Issue Editor:

8 articles in this issue

Preface
V. S. Subrahmanian
OriginalPaper 12 March 2008 Pages: 79 - 80
Model checking multi-agent systems with logic based Petri nets
Tristan M. Behrens
Jürgen Dix
OriginalPaper 21 February 2008 Pages: 81 - 121
Complexity results for answer set programming with bounded predicate arities and implications
Thomas Eiter
Wolfgang Faber
Stefan Woltran
OriginalPaper 26 February 2008 Pages: 123 - 165
A three-valued semantics for querying and repairing inconsistent databases
Filippo Furfaro
Sergio Greco
Cristian Molinaro
OriginalPaper 05 March 2008 Pages: 167 - 193
Enhancing DLV instantiator by backjumping techniques
Simona Perri
Francesco Scarcello
Nicola Leone
OriginalPaper 26 February 2008 Pages: 195 - 228
On look-ahead heuristics in disjunctive logic programming
Wolfgang Faber
Nicola Leone
Francesco Ricca
OriginalPaper 05 March 2008 Pages: 229 - 266
Reasoning about non-immediate triggers in biological networks
Nam Tran
Chitta Baral
OriginalPaper 21 February 2008 Pages: 267 - 293
Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10^30,000 worlds
Samir Khuller
M. Vanina Martinez
V. S. Subrahmanian
OriginalPaper 26 February 2008 Pages: 295 - 331

Search