Skip to content

International Conference on Logic Programming

ICLP

B

CORE rank

CORE rank (raw)

B

Fields of research

Theory of Computation · Software Engineering

Papers indexed

2,063

1982–2025

Papers per year

1982169 peak2025

ICLP papers

2,063 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2023Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics.Mario Alviano, Laura Giordano, Daniele Theseider Dupr
2022Assumable Answer Set Programming.Zhizheng Zhang
2022Embedding s(CASP) in Prolog.Jan Wielemaker, Mikko Tiihonen
2022A Causal Perspective on AI Deception in Games.Francis Rhys Ward, Francesca Toni, Francesco Belardinelli
2022LTL Model Checking using Coinductive Answer Set Programming.Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaqun Arias, Gopal Gupta
2022Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
2022A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge.David Tuckey, Krysia Broda, Alessandra Russo
2022First Order Logic and Commonsense Reasoning: A Path Less Travelled.Tanel Tammet, Dirk Draheim, Priit Jrv, Martin Verrev
2022A Query Evaluation Method for ASP with Abduction.Ken Satoh
2022Integration of Logical English and s(CASP).Galileo Sartor, Jacinto A. Dvila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert A. Kowalski
2022Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming.Kilian Rckschlo, Felix Weitkmper
2022Correct Causal Inference in Probabilistic Logic Programming.Kilian Rckschlo, Felix Weitkmper
2022Blawx: Web-based User-Friendly Rules as Code.Jason Morris
2022Automating Defeasible Reasoning in Law with Answer Set Programming.How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2022Translating Definitions into the Language of Logic Programming: A Case Study.Vladimir Lifschitz
2022A Normative Model of Explanation for Binary Classification Legal AI and Its Implementation on Causal Explanations of Answer Set Programming.Evan Iatrou
2022Conflict Handling in Product Configuration using Answer Set Programming.Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub
2022Tutorial: Automating Commonsense Reasoning.Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaqun Arias, Farhad Shakerin, Fang Li, Huaduo Wang
2022An s(CASP) In-Browser Playground based on Ciao Prolog.Guillermo Garca-Pradales, Jos F. Morales, Manuel V. Hermenegildo, Joaqun Arias, Manuel Carro
2022Epistemic Logic Programs: a Novel Perspective and Some Extensions.Stefania Costantini, Andrea Formisano
2022Computing H-Partitions in ASP and Datalog.Chlo Capon, Nicolas Lecomte, Jef Wijsen
2022Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary.Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2022Modeling Administrative Discretion using Goal-Directed Answer Set Programming.Joaqun Arias, Mar Moreno-Rebato, Jos A. Rodrguez-Garca, Sascha Ossowski
2022Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy.Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaqun Arias, Parth Padalkar, Gopal Gupta
2022Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic".Kinjal Basu
101125 of 2,063← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.