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
2021Modeling Clique Coloring via ASP(Q).Giovanni Amendola, Giovanni Rotondaro
2021A Speech about Generative Datalog and Non-measurable Sets.Mario Alviano, Arnel D. Zamayla
2021Asynchronous Forward-Bounding algorithm with Directional Arc Consistency.Rachid Adrdor, Lahcen Koutti
2021Graph Based Answer Set Programming Solver Systems.Fang Li, Elmer Salazar, Gopal Gupta
2021Natural Language Question Answering with Goal-directed Answer Set Programming.Kinjal Basu, Gopal Gupta
2021Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets.Laura Giordano, Alberto Martelli, Daniele Theseider Dupr
2020Proportional dependencies and asymptotics of probabilistic representations.Felix Weitkmper
2020Towards Structure Learning under the Credal Semantics.David Tuckey, Krysia Broda, Alessandra Russo
2020An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem.Pierre Tassel, Martin Gebser, Mohamed Rbaia
2020Actual Causality in Contextual Abduction.Degoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik
2020Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs).Giovanni Sileno
2020Solving Assembly Line Workload Smoothing Problem via Answer Set Programming.Orkunt Sabuncu, Mehmet Cem Simsek
2020An Epistemic Logic for Reasoning about Strategies in General Auctions.Munyque Mittelmann, Laurent Perrussel
2020Structural Decompositions of Epistemic Logic Programs.Markus Hecher, Michael Morak, Stefan Woltran
2020Causal Analysis of Events Occurring in Trajectories of Dynamic Domains.Michael Gelfond, Evgenii Balai
2020Determining Action Reversibility in STRIPS Using Answer Set Programming.Luks Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak
2020Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning.Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro
2020Encoding Choice Logics in ASP.Michael Bernreiter, Jan Maly, Stefan Woltran
2020Action Languages and COVID-19: Lessons Learned.Marcello Balduccini, Michael Barborak, David A. Ferrucci
2020An Analysis of Gibbs Sampling for Probabilistic Logic Programs.Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2020Determining Action Reversibility in STRIPS Using Epistemic Logic Programs.Wolfgang Faber, Michael Morak
2018Introspecting Preferences in Answer Set Programming.Zhizheng Zhang
2018Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified.Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie
2018Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs.Zhun Yang
2018Front Matter, Table of Contents, Preface, Conference Organization.
151175 of 2,063← PreviousNext →

Comparable venues

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