435 | -- | 455 | Manuel Bichler, Michael Morak, Stefan Woltran. selp: A Single-Shot Epistemic Logic Program Solver |
456 | -- | 511 | Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi. OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain |
512 | -- | 551 | Jori Bomanson, Tomi Janhunen. Boosting Answer Set Optimization with Weighted Comparator Networks |
552 | -- | 586 | Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen Wade, Long Cheng 0003. Rethinking Defeasible Reasoning: A Scalable Approach |