ICLP Workshops

Keyphrases

Publications

2023

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

volume 3437, 2023

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023. ICLP Workshops 3437 (2023)

2022

volume 3193, 2022

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022. ICLP Workshops 3193 (2022)