![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
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 - Pierre Lescanne:
Mechanizing common knowledge logic using COQ. 15-43 - Guilin Qi, Weiru Liu, David H. Glass
, David A. Bell:
A split-combination approach to merging knowledge bases in possibilistic logic. 45-84 - Marek Petrik, Shlomo Zilberstein
:
Learning parallel portfolios of algorithms. 85-106
Volume 48, Numbers 3-4, December 2006
- Michael Kaminski:
Preface. 107 - Zippora Arzi-Gonczarowski:
Understanding one another: making out meanings with Boolean equations. 109-134 - James P. Delgrande:
On a rule-based interpretation of default conditionals. 135-167 - Riccardo Rosati
:
Multi-modal nonmonotonic logics of minimal knowledge. 169-185 - Emad Saad, Enrico Pontelli
:
A new approach to hybrid probabilistic logic programs. 187-243 - Miroslaw Truszczynski:
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach. 245-265
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.