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

last updated on Sat May 25 05:48:16 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page