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
1993Herbrand Constraints (Extended Abstract).Torbjrn Keisu
1993A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract).Sverker Janson, Johan Montelius, Seif Haridi
1993On A Fully Abstract Denotational Semantics for uLog.Jean-Marie Jacquet
1993Optimum Flight Planning System for Aerodrome Zone.S. Ivanets, N. Ilinsky, M. Krylov, S. Timohin
1993Transforming Abductive Logic Programs to Disjunctive Programs.Katsumi Inoue, Chiaki Sakama
1993Variable Elimination for Generalized Linear Constraints.Jean-Louis Imbert
1993Logic Grammars and Lambda-Prolog.Serge Le Huitouze, Pascale Louvet, Olivier Ridoux
1993On Logic Programming with Multisets.Steffen Hlldobler, Michael Thielscher
1993Set-Unification from Another Point of View.Mohamed Hibti, Henri Lombardi, Bruno Legeard
1993Turbo Erlang: Approaching the Speed of C.Bogumil Hausman
1993Constraint Propagation for Linear Recursive Rules.James Harland, Kotagiri Ramamohanarao
1993Analysis of Nonlinear Constraints in CLP(R).Michael Hanus
1993Integration of Traditional Scheduling Techniques and AI on Prolog Basis.Oleg Yu. Gusikhin
1993A Prolog Toolkit for control System Models.Phil W. Grant, C. P. Jobling
1993A Semantics for Eshghi and Kowalski's Procedure.Laura Giordano, Alberto Martelli, Maria Luisa Sapino
1993Dealing with "Pure" Sets in STARSET Language.Mikhail Gilula
1993Chemical Logic Programming?Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi
1993Sets and Binary Relation Variables Viewed as Constrained Objects.Carmen Gervet
1993Data-Driven Execution of Logic Languages.Jean-Luc Gaudiot, Hiecheol Kim, Robert E. Stumberger
1993Fairness in Logic Languages based on Shared Dataspace.Mauro Gaspari, Laura Semini
1993Guard Compilation in Logic Shared Dataspace Languages.Mauro Gaspari
1993Prolog with Communicating Processes: From T-Prolog to CSR-Prolog.Ivan Fut
1993User-Defined Constraint Handling.Thom W. Frhwirth
1993MProlog: an Implementation Overview.Zsuzsa Farkas, Pter Kves, Pter Szeredi
1993ZEXPERT - A Prolog-Based Shell for Knowledge Base Development.Zsuzsa Farkas, Gbor Gerlei, Katalin Molnr, Gbor Umann
1,3761,400 of 2,063← PreviousNext →

Comparable venues

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