Annals of Mathematics and Artificial Intelligence, Volume 51

Volume 51, Number 1, September 2007

• Antonio Morales, Isabel Navarrete, Guido Sciavicco:
  A new modal logic for reasoning about space: spatial propositional neighborhood logic. 1-25
  
• Stefan Porschen:
  On variable-weighted exact satisfiability problems. 27-54
  
• K. Subramani:
  On a decision procedure for quantified linear programs. 55-77
  

Volume 51, Number 2-4, December 2007

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