![](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 233
Volume 233, April 2016
- Robert Craven, Francesca Toni
:
Argument graphs and assumption-based argumentation. 1-59 - Ernest Davis
, Gary Marcus:
The scope and limits of simulation in automated reasoning. 60-72 - Mikolás Janota
, João Marques-Silva
:
On the query complexity of selecting minimal sets for monotone predicates. 73-83 - Thomas Eiter, Michael Fink
, Thomas Krennwallner
, Christoph Redl:
Domain expansion for ASP-programs with external sources. 84-121 - Maurício D. Luís Reis, Eduardo Fermé
, Pavlos Peppas
:
Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result. 122-141
![](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.