Presentations and Authors


Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Track:
 

Full Papers

Complexity-Sensitive Decision Procedures for Abstract Argumentation PDF
Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Belief Revision with Sensing and Fallible Actions PDF
James Delgrande, Hector J. Levesque
Ordered Epistemic Logic: Semantics, Complexity and Applications PDF
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments PDF
Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio
Bounded Situation Calculus Action Theories and Decidable Verification PDF
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Temporal Composite Actions with Constraints PDF
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
Stable Models in Generalized Possibilistic Logic PDF
Didier Dubois, Henri Prade, Steven Schockaert
A Bipolar Framework for Combining Beliefs about Vague Propositions PDF
Jonathan Lawry, Didier Dubois
The Winograd Schema Challenge PDF
Hector Levesque, Ernest Davis, Leora Morgenstern

Short Papers

Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation PDF
Chitta Baral, Juraj Dzifcak