Abstract is missing.
- Reasoning about Study Regulations in Answer Set Programming (Preliminary Report)Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn. [doi]
- A Dataset of Contractual Events in Court DecisionsGuilherme Paulino-Passos, Ken Satoh, Francesca Toni. [doi]
- Recursive Aggregates as Intensional FunctionsJorge Fandinno, Zachary Hansen. [doi]
- Semantic Analysis of Assurance Cases using s(CASP)Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta 0001, Robin Bloomfield, Srivatsan Varadarajan, John Rushby. [doi]
- Past-present temporal programs over finite traces: a preliminary reportPedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub. [doi]
- Argument analysis using Answer Set Programming and Semantics-guided Large Language ModelsAbhiramon Rajasekharan, Yankai Zeng, Gopal Gupta 0001. [doi]
- Introducing ASP recipes and ASP ChefMario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners. [doi]
- On the Subtlety of Causal Reasoning in Probabilistic Logic Programming: A Bug Report about the Causal Interpretation of Annotated DisjunctionsKilian Rückschloß, Felix Weitkämper. [doi]
- Modelling Cyber Defenses using s(CASP)Steve Moyle, Nicholas Allott, John Manslow. [doi]
- Value awareness and process automation: a reflection through school place allocation modelsJoaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski. [doi]
- Semantically Guided Scene Generation via Contextual Reasoning and Algebraic MeasuresLoris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova 0001. [doi]
- Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming ApproachesAlessandro Bertagnon, Marco Gavanelli. [doi]
- A Brief Discussion about the Credal Semantics for Probabilistic Answer Set ProgramsDamiano Azzolini. [doi]
- Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual SemanticsMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. [doi]
- How well do SOTA legal reasoning models support abductive reasoning?Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh. [doi]
- Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNFSpencer Killen, Wengkai Gao, Jia-Huai You. [doi]
- Explanation Graphs for Stable Models of Labelled Logic ProgramsPedro Cabalar, Brais Muñiz. [doi]
- Beyond Logic Programming for Legal ReasoningHa-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh. [doi]
- (Re)Integration of Logical English and s(CASP)Galileo Sartor, Jacinto A. Dávila, Alessia Fidelangeli, Giuseppe Pisano. [doi]
- On the impact of sensors update in declarative AI for videogamesDenise Angilica, Giorgio Michele De Giorgio, Giovambattista Ianni. [doi]
- Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule ExceptionsKumar Manas, Adrian Paschke. [doi]
- Sampling and probabilistic inference in D/SlpsNicos Angelopoulos. [doi]
- Building BlawxJason Morris. [doi]
- Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in ProgressDamiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi. [doi]
- NeSyFOLD: Extracting Logic Programs from Convolutional Neural NetworksParth Padalkar, Huaduo Wang, Gopal Gupta 0001. [doi]
- asymptoticplp: Approximating probabilistic logic programs on large domainsBao Loi Quach, Felix Weitkämper. [doi]
- Routing and Scheduling in different ways: Abridged Preliminary ReportJan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko. [doi]