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.