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
1998Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs.Donald A. Smith, Mark Utting
1998Distance: A New Metric for Controlling Granularity for Parallel Execution.Kish Shen, Vtor Santos Costa, Andy King
1998Integration of CLP and Stochastic Optimisation Strategies.Alvaro Ruiz-Andino, Jos J. Ruz
1998Parallel Arc-Consistency for Functional Constraints.Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Senz-Prez, Jos J. Ruz
1998Meta-linear Constraints in Constraint Logic Programming.Philippe Refalo
1998Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming.Philippe Refalo
1998On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution.Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan
1998Natural Language Multiprocessing: A Case Study.Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell
1998A Choice-Point Library for Backtrack Programming.Pierre-Etienne Moreau
1998A Solver Collaboration in BALI.ric Monfroy
1998The Pi Calculus and Its Applications (Keynote Address).Robin Milner
1998Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming.Ken McAloon
1998Abstract Compilation of lambda-Prolog.Frdric Malsieux, Olivier Ridoux, Patrice Boizumault
1998Program Specialisation and Abstract Interpretation Reconciled.Michael Leuschel
1998Iterated Logic Program Updates.Joo Alexandre Leite, Lus Moniz Pereira
1998Inductive Logic Programming for Relational Knowledge Discovery.Nada Lavrac
1998Applications of Abductive Logic Programming.Antonis C. Kakas, Antonia Michael
1998Efficient Implementation of a Linear Logic Programming Language.Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang
1998Controlling Search in Funtional Logic Programs.Michael Hanus, Frank Steiner
1998Horn Logic Denotations.Gopal Gupta
1998Greedy Algorithms in Datalog with Choice and Negation.Sergio Greco, Carlo Zaniolo
1998Towards Early Projection in CLP(R).Andreas Fordan, Roland H. C. Yap
1998VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs.Nuno A. Fonseca, Vtor Santos Costa, Ins de Castro Dutra
1998A Generic Type System for CLP(chi).Franois Fages, Massimo Paltrinieri
1998Beyond Success and Failure.Sandro Etalle, Femke van Raamsdonk
951975 of 2,063← PreviousNext →

Comparable venues

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