Annals of Mathematics and Artificial Intelligence, Volume 48

Volume 48, Numbers 1-2, September 2006

• Miguel F. Anjos:
  An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs. 1-14
  Electronic Edition (link) BibTeX
• Pierre Lescanne:
  Mechanizing common knowledge logic using COQ. 15-43
  Electronic Edition (link) BibTeX
• Guilin Qi, Weiru Liu, David H. Glass, David A. Bell:
  A split-combination approach to merging knowledge bases in possibilistic logic. 45-84
  Electronic Edition (link) BibTeX
• Marek Petrik, Shlomo Zilberstein:
  Learning parallel portfolios of algorithms. 85-106
  Electronic Edition (link) BibTeX

Volume 48, Numbers 3-4, December 2006

• Michael Kaminski:
  Preface. 107
  Electronic Edition (link) BibTeX
• Zippora Arzi-Gonczarowski:
  Understanding one another: making out meanings with Boolean equations. 109-134
  Electronic Edition (link) BibTeX
• James P. Delgrande:
  On a rule-based interpretation of default conditionals. 135-167
  Electronic Edition (link) BibTeX
• Riccardo Rosati:
  Multi-modal nonmonotonic logics of minimal knowledge. 169-185
  Electronic Edition (link) BibTeX
• Emad Saad, Enrico Pontelli:
  A new approach to hybrid probabilistic logic programs. 187-243
  Electronic Edition (link) BibTeX
• Miroslaw Truszczynski:
  Strong and uniform equivalence of nonmonotonic theories - an algebraic approach. 245-265
  Electronic Edition (link) BibTeX