10. ICLP 1993:
Budapest, Hungary David Scott Warren (Ed.):
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, June 21-25, 1993, Budapest, Hungary. MIT Press 1993, ISBN 0-262-73105-3
Invited Talks
export record as
dblp key:
Ivan Futó :
Prolog with Communicating Processes: From T-Prolog to CSR-Prolog.
3-17
export record as
dblp key:
Higher-Order Extensions to Prolog
export record as
dblp key:
export record as
dblp key:
L. Thorne McCarty :
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic.
44-63
export record as
dblp key:
Freeness
export record as
dblp key:
Michael Hanus :
Analysis of Nonlinear Constraints in CLP(R).
83-99
export record as
dblp key:
export record as
dblp key:
Parallel Implementations 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kish Shen :
Implementing Dynamic Dependent And-Parallelism.
167-183
export record as
dblp key:
Actions
export record as
dblp key:
export record as
dblp key:
Phan Minh Dung :
Representing Actions in Logic Programming and Its Applications in Database Updates.
222-238
export record as
dblp key:
Christoph Brzoska :
Temporal Logic Programming with Bounded Universal Modality Goals.
239-256
export record as
dblp key:
Parallel Implementations 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fixpoints
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Implementation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program Synthesis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/iclp/Luttringhaus-Kappel93
Constraint Solving
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Semantics 1
export record as
dblp key:
Hudson Turner :
A Monotonicity Theorem for Extended Logic Programs.
567-585
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Phan Minh Dung :
An Argumentation Semantics for Logic Programming with Explicit Negation.
616-630
Constraints
export record as
dblp key:
export record as
dblp key:
Mats Carlsson ,
Mats Grindal :
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques.
647-665
export record as
dblp key:
export record as
dblp key:
Semantics 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Compilation
export record as
dblp key:
export record as
dblp key:
Databases
export record as
dblp key:
export record as
dblp key:
Raymond T. Ng :
Semantics and Consistency of Empirical Databases.
812-826
Poster Abstracts
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Oleg Yu. Gusikhin :
Integration of Traditional Scheduling Techniques and AI on Prolog Basis.
841
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/iclp/VaghaniRKSSLH93 export record as
dblp key:
data released under the ODC-BY 1.0 license
