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

Ivan Futó: Prolog with Communicating Processes: From T-Prolog to CSR-Prolog. 3-17 BibTeX
Anil Nerode, Wolf Kohn: Hybrid Systems and Constraint Logic Programming. 18-24 BibTeX

Higher-Order Extensions to Prolog

Pascal Brisset, Olivier Ridoux: Continuations in Lambda-Prolog. 27-43 BibTeX
L. Thorne McCarty: Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. 44-63 BibTeX
Serge Le Huitouze, Pascale Louvet, Olivier Ridoux: Logic Grammars and Lambda-Prolog. 64-79 BibTeX

Freeness

Michael Hanus: Analysis of Nonlinear Constraints in CLP(R). 83-99 BibTeX
Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish: Freeness Analysis in the Presence of Numerical Constraints. 100-115 BibTeX
Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe: Freeness Analysis for Logic Programs - And Correctness? 116-131 BibTeX

Parallel Implementations 1

Tony Beaumont, David H. D. Warren: Scheduling Speculative Work in Or-Parallel Prolog Systems. 135-149 BibTeX
Rong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren: Performance of the Compiler-Based Andorra-I System. 150-166 BibTeX
Kish Shen: Implementing Dynamic Dependent And-Parallelism. 167-183 BibTeX
Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo: Some Paradigms for Visualizing Parallel Execution of Logic Programs. 184-200 BibTeX

Actions

Javier Pinto, Raymond Reiter: Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. 203-221 BibTeX
Phan Minh Dung: Representing Actions in Logic Programming and Its Applications in Database Updates. 222-238 BibTeX
Christoph Brzoska: Temporal Logic Programming with Bounded Universal Modality Goals. 239-256 BibTeX
Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. 257-279 BibTeX

Parallel Implementations 2

Johan Bevemyr, Thomas Lindgren, Håkan Millroth: Reform Prolog: The Language and Its Implementation. 283-298 BibTeX
Koenraad De Bosschere, Jean-Marie Jacquet: Multi-Prolog: Definition, Operational Semantics and Implementation. 299-313 BibTeX
Donald A. Smith: MultiLog: Data Or-Parallel Logic Programming. 314-331 BibTeX

Fixpoints

Katsumi Inoue, Chiaki Sakama: Transforming Abductive Logic Programs to Disjunctive Programs. 335-353 BibTeX
Giorgio Levi, Davide Ramundo: A Formalization of Metaprogramming for real. 354-373 BibTeX
Annalisa Bossi, Michele Bugliesi, Massimo Fabris: A New Fixpoint Semantics for Prolog. 374-389 BibTeX

Implementation

Saumya K. Debray: On Copy Avoidance in Single Assignment Languages. 393-407 BibTeX
André Mariën: Findall without findall/3. 408-423 BibTeX
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Extracting Determinacy in Logic Programs. 424-438 BibTeX

Program Synthesis

Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Logic Program Synthesis. 441-455 BibTeX
Kung-Kiu Lau, Mario Ornaghi: An Incompleteness Result for Deductive Synthesis of Logic Programs. 456-477 BibTeX
Stefan Lüttringhaus-Kappel: Control Generation for Logic Programs. 478-495 BibTeX

Constraint Solving

Jean-Louis Imbert: Variable Elimination for Generalized Linear Constraints. 499-516 BibTeX
Frédéric Benhamou, Jean-Luc Massat: Boolean Pseudo-equations in Constraint Logic Programming. 517-531 BibTeX
Evelyne Contejean: Solving Linear Diophantine Constraints Incrementally. 532-549 BibTeX
Bruno De Backer, Henri Beringer: A CLP Language Handling Disjunctions of Linear Constraints. 550-563 BibTeX

Semantics 1

Hudson Turner: A Monotonicity Theorem for Extended Logic Programs. 567-585 BibTeX
Laura Giordano, Alberto Martelli, Maria Luisa Sapino: A Semantics for Eshghi and Kowalski's Procedure. 586-600 BibTeX
Luís Moniz Pereira, José Júlio Alferes: Optative Reasoning with Scenario Semantics. 601-615 BibTeX
Phan Minh Dung: An Argumentation Semantics for Logic Programming with Explicit Negation. 616-630 BibTeX

Constraints

Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann: Memory Management of Constraint in Flang. 633-646 BibTeX
Mats Carlsson, Mats Grindal: Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. 647-665 BibTeX
David B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. 666-682 BibTeX
James Harland, Kotagiri Ramamohanarao: Constraint Propagation for Linear Recursive Rules. 683-699 BibTeX

Semantics 2

Chiaki Sakama, Katsumi Inoue: Negation in Disjunctive Logic Programs. 703-719 BibTeX
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Proving Termination of GHC Programs. 720-736 BibTeX
Michael J. Maher: A Logic Programming View of CLP. 737-753 BibTeX

Compilation

Evan Tick, C. Banerjee: Performance Evaluation of Monaco Compiler and Runtime Kernel. 757-773 BibTeX
Daniel Diaz, Philippe Codognet: A Minimal Extension of the WAM for clp(FD). 774-790 BibTeX

Databases

Roland N. Bol, Lars Degerstedt: The Underlying Search for Magic Templates and Tabulation. 793-811 BibTeX
Raymond T. Ng: Semantics and Consistency of Empirical Databases. 812-826 BibTeX

Poster Abstracts

Kalman Balogh: The SQL Interface of MProlog. 829-830 BibTeX
R. Bisdorff, S. Laurent: Industrial Disposing Problem Solved in CHIP. 831 BibTeX
Egon Börger, Dean Rosenzweig: Full Prolog in a Nutshell. 832 BibTeX
Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro: A Portable and Reasonably Efficient Implementation of KL1. 833 BibTeX
Marc-Michel Corsini, Antoine Rauzy: Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. 834 BibTeX
Zsuzsa Farkas, Gábor Gerlei, Katalin Molnár, Gábor Umann: ZEXPERT - A Prolog-Based Shell for Knowledge Base Development. 835-836 BibTeX
Thom W. Frühwirth: User-Defined Constraint Handling. 837-838 BibTeX
P. W. Grant, C. P. Jobling: A Prolog Toolkit for control System Models. 839-840 BibTeX
Oleg Yu. Gusikhin: Integration of Traditional Scheduling Techniques and AI on Prolog Basis. 841 BibTeX
S. Ivanets, N. Ilinsky, M. Krylov, S. Timohin: Optimum Flight Planning System for Aerodrome Zone. 842 BibTeX
Nikolai K. Kossovsky, Igor P. Solovjev: Function-Patterns and Fan-Backtracking for Logic Programming. 843 BibTeX
Anthony J. Kusalik, Gregory M. Oster: Towards Generalized Visualization Support for Logic Programming. 844 BibTeX
Didier Ladret, Michel Rueher: Contribution of Logic Programming to Support Telecommunications Protocol Tests. 845-846 BibTeX
Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Zissis Palaskas, Takis Stamatopoulos, Dominic A. Clark, Sylvie Doursenot, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu: APPLAUSE: Applications Using the ElipSys Parallel CLP System. 847-848 BibTeX
Leon J. Mekly, Marjorie Passini Yuhas: A Logic Programming Approach to Requirements Modelling and Automated Test Generation. 849 BibTeX
Michael Reviakin: Logic Programming System Prolog-plus. 850 BibTeX
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: Status of the Aditi Deductive Database System. 851 BibTeX
Imrich Weigl, Milan Fico, Svitoslav Molnár, Rudolf Fiby: Istropolitan-a WAM Based Fuzzy Prolog. 852 BibTeX