| 2023 | On the Subtlety of Causal Reasoning in Probabilistic Logic Programming: A Bug Report about the Causal Interpretation of Annotated Disjunctions. | Kilian Rckschlo, Felix Weitkmper |
| 2023 | Argument analysis using Answer Set Programming and Semantics-guided Large Language Models. | Abhiramon Rajasekharan, Yankai Zeng, Gopal Gupta |
| 2023 | asymptoticplp: Approximating probabilistic logic programs on large domains. | Bao Loi Quach, Felix Weitkmper |
| 2023 | A Dataset of Contractual Events in Court Decisions. | Guilherme Paulino-Passos, Ken Satoh, Francesca Toni |
| 2023 | NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks. | Parth Padalkar, Huaduo Wang, Gopal Gupta |
| 2023 | Beyond Logic Programming for Legal Reasoning. | Ha-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh |
| 2023 | How well do SOTA legal reasoning models support abductive reasoning? | Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh |
| 2023 | Semantic Analysis of Assurance Cases using s(CASP). | Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaqun Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby |
| 2023 | Modelling Cyber Defenses using s(CASP). | Steve Moyle, Nicholas Allott, John Manslow |
| 2023 | Building Blawx. | Jason Morris |
| 2023 | Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions. | Kumar Manas, Adrian Paschke |
| 2023 | Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF. | Spencer Killen, Wenkai Gao, Jia-Huai You |
| 2023 | Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). | Susana Hahn, Cedric Martens, Amad Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn |
| 2023 | Recursive Aggregates as Intensional Functions. | Jorge Fandinno, Zachary Hansen |
| 2023 | Explanation Graphs for Stable Models of Labelled Logic Programs. | Pedro Cabalar, Brais Muiz |
| 2023 | Past-present temporal programs over finite traces: a preliminary report. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2023 | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. | Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova |
| 2023 | Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches. | Alessandro Bertagnon, Marco Gavanelli |
| 2023 | Routing and Scheduling in different ways: Abridged Preliminary Report. | Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko |
| 2023 | Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress. | Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi |
| 2023 | A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs. | Damiano Azzolini |
| 2023 | Value awareness and process automation: a reflection through school place allocation models. | Joaqun Arias, Mar Moreno-Rebato, Jos A. Rodrguez-Garca, Sascha Ossowski |
| 2023 | On the impact of sensors update in declarative AI for videogames. | Denise Angilica, Giorgio Michele De Giorgio, Giovambattista Ianni |
| 2023 | Sampling and probabilistic inference in D/Slps. | Nicos Angelopoulos |
| 2023 | Introducing ASP recipes and ASP Chef. | Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners |