Accepted Papers

Accepted papers are listed below. 

• Hahn S.,  Martens C., Nemes A., Otunya H., Romero J., Schaub T. and Schellhorn S. - Reasoning about Study Regulations in Answer Set Programming (Preliminary Report)

• Behrens J., Kaminski R., Schaub T., Son T. C. and Švancara J. - Routing and Scheduling in different ways: Abridged Preliminary Report

• Cabalar P., Diéguez M. , Laferriere F. and Schaub T. - Past-present temporal logic programs over finite traces

• Killen S., Gao W. and You J.  - Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF

• Fandinno J. and Hansen Z. - Recursive Aggregates as Intensional Functions

• Bozzato L., Eiter T., Kiesel R. and Stepanova D. - Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures

• Cabalar P. and Castro B. M. - Explanation Graphs for Stable Models of Labelled Logic Programs

• Bertagnon A. and Gavanelli M. - Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches

• Alviano M., Cirimele D. and Rodriguez Reiners L. A. - Introducing ASP recipes and ASP Chef

• Alviano M., Giordano L. and Dupre D. T. - Preferential reasoning with typicality in ASP for many-valued Gradual Argumentation Semantics

• Angilica D., De Giorgio G. M. and Ianni G. - On the impact of sensors update in declarative AI for videogames