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

Answer Set Programming via Mixed Integer Programming PDF
Guohua Liu, Tomi Janhunen, Ilkka Niemela
Complexity-Sensitive Decision Procedures for Abstract Argumentation PDF
Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
On Unit-Refutation Complete Formulae with Existentially Quantified Variables PDF
Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis
Ontology Evolution Under Semantic Constraints PDF
Bernardo Cuenca Grau, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
Abstracting Abstraction in Search with Applications to Planning PDF
Christer Backstrom, Peter Jonsson