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

Credibility-Limited Revision Operators in Propositional Logic PDF
Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez
Strong Equivalence of Qualitative Optimization Problems PDF
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran
Paraconsistent Hybrid Theories PDF
Michael Fink
Generalized Ontology-Based Production Systems PDF
Riccardo Rosati, Enrico Franconi
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments PDF
Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio
JASP: A Framework for Integrating Answer Set Programming with Java PDF
Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca

Short Papers

Worst-Case Optimal Reasoning with Forest Logic Programs PDF
Cristina Feier
Towards Parallel Nonmonotonic Reasoning with Billions of Facts PDF
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas