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