11. ILPS 1994:
Ithaca,
New York
Maurice Bruynooghe (Ed.):
Logic Programming,
Proceedings of the 1994 International Symposium,
November 13-17,
1994, MIT Press 1994, ISBN 0-262-52191-1
Invited Talks
- Yannick Cras:
Using Constraint Logic Programming in Services: A Few Short Tales.
3-16
- Neil D. Jones:
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming.
17-22
- Georg Gottlob:
Complexity and Expressive Power of Disjunctive Logic Programming.
23-42
- John W. Lloyd:
Combining Functional and Logic Programming Languages.
43-57
Semantics I
- Hudson Turner:
Signed Logic Programs.
61-75
- Kenneth A. Ross:
A Syntactic Stratification Condition Using Constraints.
76-90
- Bernard Malfon:
Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation.
91-105
Constraints I
Program Analysis I
Deductive Databases
Semantics II
Parallelism
Constraints II
- Carmen Gervet:
Conjunto: Constraint Logic Programming with Finite Set Domains.
339-358
- Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees.
359-374
Program Analysis II
Inference Methods
Program Analysis III
Concurrent Constraint Programming
Artificial Intelligence
Analysis of Constraint Logic Programs
Implementation
Program Analysis IV
Poster Session
- Gregory W. Bond, Bernie Pagurek:
Declarative Error Diagnosis as Consistency-Based Diagnosis.
673
- Pascal Brisset:
Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language.
674
- Iliano Cervesato, Luca Chittaro, Angelo Montanari:
Modal Event Calculus.
675
- Andrew Davison, Elizabeth Haywood:
Parsing with PTN.
676
- Michael I. Dekhtyar, Alexander Ja. Dikovsky:
On Stable Behaviour of Dynamic Deductive Data Bases.
677
- Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure:
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming.
678
- Jonathan M. Lever:
Constraint Logic Programming for Planning.
679
- Miguel-Angel Oros, Paul Y. Gloess:
Inferring Inheritance from Datalog Programs.
680
- Arcot Rajasekar:
Constraint Logic Programming on Strings: Theory and Applications.
681
- Konstantinos F. Sagonas, David Scott Warren:
A Portable Compiler for Integrating HiLog into Prolog Systems.
682
- Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.
683-684
- L. Thorne McCarty, Leon A. Shklar:
A PROLOG Interpreter for First-Order Intuitionistic Logic.
685
- Li-Yan Yuan, Jia-Huai You:
A Simple but Effective Program Revision Method.
686
Copyright © Fri Mar 12 17:21:46 2010
by Michael Ley (ley@uni-trier.de)
