


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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














