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
1999Constraint-based Round Robin Tournament Planning.Martin Henz
1999Stack-splitting: Or-/And-parallelism on Distributed Memory Machines.Gopal Gupta, Enrico Pontelli
1999Optimization of Disjunctive Queries.Sergio Greco
1999Domains as First Class Objects in CLP(FD).Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
1999Soving TSP with Time Windows with Constraints.Filippo Focacci, Michela Milano, Andrea Lodi
1999Logic Programming with Requests.Sandro Etalle, Femke van Raamsdonk
1999It Is Declarative.Wlodzimierz Drabent
1999ACI1 Constraints.Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999Herbrand Constraint Solving in HAL.Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
1999Temporal Probabilistic Logic Programs.Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian
1999Multiple Terms in a Tabled Logic Programming System.Baoqiu Cui, David Scott Warren
1999Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems.Angelo E. M. Ciarlini, Thom W. Frhwirth
1999CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms.Yves Caseau, Franois-Xavier Josset, Franois Laburthe
1999Concurrency in Prolog Using Threads and a Shared Database.Manuel Carro, Manuel V. Hermenegildo
1999Disjunctive Logic Programs with Inheritance.Francesco Buccafurri, Wolfgang Faber, Nicola Leone
1999Adventures in the Prolog Trade.Kenneth A. Bowen
1999Extensionality of Simply Typed Logic Programs.Marc Bezem
1999Revising Hull and Box Consistency.Frdric Benhamou, Frdric Goualard, Laurent Granvilliers, Jean-Francois Puget
1999Adding Functions to SICStus Prolog.Tibor svnyi
1999Lightweight Lemmas in lambda-Prolog.Andrew W. Appel, Amy P. Felty
1999Well-founded Abduction via Tabled Dual Programs.Jos Jlio Alferes, Lus Moniz Pereira, Terrance Swift
1998A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints.Neng-Fa Zhou
1998Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure.Jia-Huai You, Li-Yan Yuan, Randy Goebel
1998Specialising the Other Way Arond.Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck
1998Jinni: a Lightweight Java-based Logic Engine for Internet Programming.Paul Tarau
926950 of 2,063← PreviousNext →

Comparable venues

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