Issue 2-4/2007
Special Issue in honor of Professor Jack Minker’s 80th birthday
Content (8 Articles)
Complexity results for answer set programming with bounded predicate arities and implications
Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran
A three-valued semantics for querying and repairing inconsistent databases
Filippo Furfaro, Sergio Greco, Cristian Molinaro
Enhancing DLV instantiator by backjumping techniques
Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone
On look-ahead heuristics in disjunctive logic programming
Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca
Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030,000 worlds
Samir Khuller, M. Vanina Martinez, Dana Nau, Amy Sliva, Gerardo I. Simari, V. S. Subrahmanian