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 BibTeX
Neil D. Jones: Abstract Interpretation and Partial Evaluation in Functional and Logic Programming. 17-22 BibTeX
Georg Gottlob: Complexity and Expressive Power of Disjunctive Logic Programming. 23-42 BibTeX
John W. Lloyd: Combining Functional and Logic Programming Languages. 43-57 BibTeX

Semantics I

Hudson Turner: Signed Logic Programs. 61-75 BibTeX
Kenneth A. Ross: A Syntactic Stratification Condition Using Constraints. 76-90 BibTeX
Bernard Malfon: Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation. 91-105 BibTeX

Constraints I

C. K. Chiu, Jimmy Ho-Man Lee: Towards Practical Interval Constraint Solving in Logic Programming. 109-123 BibTeX
Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck: CLP(Intervals) Revisited. 124-138 BibTeX
Jean-Louis Imbert: Redundancy, Variable Elimination and Linear Disequations. 139-153 BibTeX

Program Analysis I

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. 157-171 BibTeX
Marco Comini, Giorgio Levi: An Algebraic Theory of Observables. 172-186 BibTeX

Deductive Databases

David Toman, Jan Chomicki, David S. Rogers: Datalog with Integer Periodicity Constraints. 189-203 BibTeX
Raghu Ramakrishnan, Kenneth A. Ross, Divesh Srivastava, S. Sudarshan: Efficient Incremental Evaluation of Queries with Aggregation. 204-218 BibTeX
Terrance Swift, David Scott Warren: Analysis of SLG-WAM Evaluation of Definite Programs. 219-235 BibTeX

Semantics II

Jia-Huai You, Robert Cartwright: Tractable Argumentation Semantics via Iterative Belief Revision. 239-253 BibTeX
Laks V. S. Lakshmanan, Fereidoon Sadri: Probabilistic Deductive Databases. 254-268 BibTeX
Paul Broome, James Lipton: Combinatory Logic Programming: Computing in Relation Calculi. 269-285 BibTeX

Parallelism

Inês de Castro Dutra: Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems. 289-304 BibTeX
Saumya K. Debray, Mudita Jain: A Simple Program Transformation for Parallelism. 305-319 BibTeX
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. 320-336 BibTeX

Constraints II

Carmen Gervet: Conjunto: Constraint Logic Programming with Finite Set Domains. 339-358 BibTeX
Andreas Podelski, Peter Van Roy: The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. 359-374 BibTeX

Program Analysis II

Roberto Giacobazzi: Abductive Analysis of Modular Logic Programs. 377-391 BibTeX
Massimo Marchiori: Localizations of Unification Freedom through Matching Directions. 392-406 BibTeX

Inference Methods

Alain Hui-Bon-Hoa: Intuitionistic Implication and Resolution. 409-423 BibTeX
José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. 424-438 BibTeX
David A. Rosenblueth, Julio C. Peralta: LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. 439-453 BibTeX

Program Analysis III

C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck: Cardinality Analysis of Prolog. 457-471 BibTeX
Kjell Post: Mutally Exclusive Rules in Logic Programming. 472-486 BibTeX
Saumya K. Debray, David Gudeman, Peter A. Bigot: Detection and Optimization of Suspension-free Logic Programs. 487-501 BibTeX

Concurrent Constraint Programming

Christian Schulte, Gert Smolka: Encapsulated Search for Higher-order Concurrent Constraint Programming. 505-520 BibTeX
Björn Carlson, Seif Haridi, Sverker Janson: AKL(FD) - A Concurrent Language for FD Programming. 521-535 BibTeX

Artificial Intelligence

Robert A. Kowalski, Fariba Sadri: The Situation Calculus and Event Calculus Compared. 539-553 BibTeX
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: SLD - Resolution with Reflection. 554-568 BibTeX

Analysis of Constraint Logic Programs

Kim Marriott, Peter J. Stuckey: Approximating Interaction between Linear Arithmetic Constraints. 571-585 BibTeX
Spiro Michaylov, Bill Pippin: Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs. 586-600 BibTeX

Implementation

Thomas Lindgren: A Continuation-Passing Style for Prolog. 603-617 BibTeX
R. Ramesh, Weidong Chen: A Portable Method of Integrating SLG Resolution into Prolog Systems. 618-632 BibTeX
Terrance Swift, David Scott Warren: An Abstract Machine for SLG Resolution: Definite Programs. 633-652 BibTeX

Program Analysis IV

Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. 655-669 BibTeX

Poster Session

Gregory W. Bond, Bernie Pagurek: Declarative Error Diagnosis as Consistency-Based Diagnosis. 673 BibTeX
Pascal Brisset: Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language. 674 BibTeX
Iliano Cervesato, Luca Chittaro, Angelo Montanari: Modal Event Calculus. 675 BibTeX
Andrew Davison, Elizabeth Haywood: Parsing with PTN. 676 BibTeX
Michael I. Dekhtyar, Alexander Ja. Dikovsky: On Stable Behaviour of Dynamic Deductive Data Bases. 677 BibTeX
Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure: Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. 678 BibTeX
Jonathan M. Lever: Constraint Logic Programming for Planning. 679 BibTeX
Miguel-Angel Oros, Paul Y. Gloess: Inferring Inheritance from Datalog Programs. 680 BibTeX
Arcot Rajasekar: Constraint Logic Programming on Strings: Theory and Applications. 681 BibTeX
Konstantinos F. Sagonas, David Scott Warren: A Portable Compiler for Integrating HiLog into Prolog Systems. 682 BibTeX
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. 683-684 BibTeX
L. Thorne McCarty, Leon A. Shklar: A PROLOG Interpreter for First-Order Intuitionistic Logic. 685 BibTeX
Li-Yan Yuan, Jia-Huai You: A Simple but Effective Program Revision Method. 686 BibTeX