![](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 187
Volumes 187-188, August 2012
- Sebastian Haufe, Stephan Schiffel, Michael Thielscher:
Automated verification of state sequence invariants in general game playing. 1-30 - Ioannis Caragiannis
, Jason A. Covey, Michal Feldman, Christopher M. Homan, Christos Kaklamanis, Nikos Karanikolas
, Ariel D. Procaccia, Jeffrey S. Rosenschein:
On the approximability of Dodgson and Young elections. 31-51 - Martin Gebser, Benjamin Kaufmann, Torsten Schaub
:
Conflict-driven answer set solving: From theory to practice. 52-89 - Dominik Fisch, Martin Jänicke, Edgar Kalkowski, Bernhard Sick
:
Learning from others: Exchange of classification rules in intelligent distributed systems. 90-114 - Finale Doshi-Velez, Joelle Pineau, Nicholas Roy:
Reinforcement learning with limited reinforcement: Using Bayes risk for active learning in POMDPs. 115-132 - Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Local properties in modal logic. 133-155 - Mario Alviano
, Wolfgang Faber
, Gianluigi Greco, Nicola Leone
:
Magic Sets for disjunctive Datalog programs. 156-192
![](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.