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 P. 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team