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
Nonmonotonic Reasoning
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
Copyright ©
Sat May 16 23:50:17 2009 by
Michael Ley
(
ley@uni-trier.de
)