Accepted Papers/Abstracts
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling and Torsten Schaub. plingo: A system for probabilistic reasoning in clingo based on lpmln [paper]
Zeynep G. Saribatur and Stefan Woltran. Characterizations for Simplifying ASP Programs under Abstraction: Working Abstract [paper]
Viktor Besin, Markus Hecher, Kaan Unalan and Stefan Woltran. Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck [paper]
Richard Comploi-Taupe. Towards Inductive Learning of Domain-Specific Heuristics for ASP [paper]
Richard Comploi-Taupe, Susana Hahn, Gottfried Schenner and Torsten Schaub. Challenges of Developing an API for Interactive Configuration using ASP [paper]
Ramsha Ali, Mohammed El-Kholany and Martin Gebser. Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid ASP: Extended Abstract [paper]
Jan Behrens, Philipp Obermeier, Torsten Schaub, Klaus Strauch and Etienne Tignon. A Survey of ASP and SAT Encodings for Mul ti-Agent Pathfinding: Working Abstract[paper]
Yisong Wang, Thomas Eiter, Yuanlin Zhang and Fangzhen Lin. Witnesses for Answer Sets of Logic Programs (Extended Abstract) [paper]
Alice Tarzariol, Martin Gebser, Mark Law and Konstantin Schekotihin. Efficient lifting of symmetry breaking constraints for complex combinatorial problems: Extended Abstract [paper]
Thomas Eiter, Tobias Geibinger, Nelson Higuera, Nysret Musliu, Johannes Oetsch and Daria Stepanova. ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract) [paper]
François Laferrière, Torsten Schaub, Martín Diéguez and Pedro Cabalar. Formal Foundations of Incremental Dynamic Answer Set Programming (Extended Abstract) [paper]
Nelson Higuera and Thomas Eiter. Elaboration for Neurosymbolic Computation [paper]
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas, Anna Schuhmann and Torsten Schaub. Metric Dynamic Equilibrium Logic [paper]
Christian Hatschka, Agata Ciabattoni and Thomas Eiter. Representing Normative Reasoning in Answer Set Programming Using Weak Constraints [paper]