![](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
Artificial Intelligence, Volume 156
Volume 156, Number 1, June 2004
- Oliver Kutz
, Carsten Lutz
, Frank Wolter
, Michael Zakharyaschev
:
E-connections of abstract description systems. 1-73 - Piero A. Bonatti
:
Reasoning with infinite stable models. 75-111
Volume 156, Number 2, July 2004
- Haym Hirsh, Nina Mishra, Leonard Pitt:
Version spaces and the consistency problem. 115-138 - Judy Goldsmith
, Robert H. Sloan, Balázs Szörényi, György Turán:
Theory revision with queries: Horn, read-once, and parity formulas. 139-176 - Matteo Cristani, Robin Hirsch
:
The complexity of constraint satisfaction problems for small relation algebras. 177-196 - James D. Park, Adnan Darwiche:
A differential semantics for jointree algorithms. 197-216
![](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.