default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID39th ICLP 2023: London, UK
- Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner:
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. CEUR Workshop Proceedings 3437, CEUR-WS.org 2023
Answer Set Programming and Other Computing Paradigms (ASPOCP)
- Alessandro Bertagnon, Marco Gavanelli:
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches. - Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko:
Routing and Scheduling in different ways: Abridged Preliminary Report. - Pedro Cabalar, Brais Muñiz:
Explanation Graphs for Stable Models of Labelled Logic Programs. - Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners
:
Introducing ASP recipes and ASP Chef. - Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn:
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). - Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. - Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub:
Past-present temporal programs over finite traces: a preliminary report. - Spencer Killen, Wenkai Gao, Jia-Huai You:
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF. - Jorge Fandinno, Zachary Hansen:
Recursive Aggregates as Intensional Functions. - Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova:
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. - Denise Angilica, Giorgio Michele De Giorgio, Giovambattista Ianni:
On the impact of sensors update in declarative AI for videogames.
Goal-directed Execution of Answer Set Programs (GDE)
- 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). - Steve Moyle, Nicholas Allott, John Manslow:
Modelling Cyber Defenses using s(CASP). - 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. - Parth Padalkar, Huaduo Wang, Gopal Gupta:
NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks. - Jason Morris:
Building Blawx. - Abhiramon Rajasekharan, Yankai Zeng, Gopal Gupta:
Argument analysis using Answer Set Programming and Semantics-guided Large Language Models. - Galileo Sartor, Jacinto A. Dávila, Alessia Fidelangeli, Giuseppe Pisano:
(Re)Integration of Logical English and s(CASP).
Logic Programming and Legal Reasoning (LPLR)
- Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh:
How well do SOTA legal reasoning models support abductive reasoning? - Ha-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh:
Beyond Logic Programming for Legal Reasoning. - Guilherme Paulino-Passos, Ken Satoh, Francesca Toni:
A Dataset of Contractual Events in Court Decisions. - Kumar Manas, Adrian Paschke:
Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions.
Probabilistic Logic Programming (PLP)
- Bao Loi Quach, Felix Weitkämper:
asymptoticplp: Approximating probabilistic logic programs on large domains. - Nicos Angelopoulos:
Sampling and probabilistic inference in D/Slps. - Damiano Azzolini:
A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs. - 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. - Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi:
Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
