9. ICLP / SLP (JICSLP) 1992: Washington, DC

Krzysztof R. Apt (Ed.): Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, November 1992. MIT Press 1992, ISBN 0-262-51064-2

Invited Talks

K. Mani Chandy, Carl Kesselman: The Derivation of Compositional Programs. 3-17 BibTeX
Judea Pearl: Empirical Semantics for Defeasible Databases. 18-20 BibTeX

Advanced Tutorials

Melvin Fitting: Many-Valued Semantics for Logic Programming. 23-24 BibTeX
Evan Tick: Advanced Tutorial: Concurrent Logic Programming. 25 BibTeX
Serge Abiteboul: Deductive and Object-Oriented Databases. 26-29 BibTeX
A. S. Troelstra: Tutorial on Linear Logic. 30-31 BibTeX
Ross A. Overbeek: Logic Programming and Genetic Sequence Analysis: a Tutorial. 32-34 BibTeX

Unification

Bruno Dumant: hecking the Soundness of Resolution Schemes. 37-51 BibTeX
Zhenyu Qian, Kang Wang: Higher-Order E-Unification for Arbitrary Theories. 52-66 BibTeX
Livio Colussi, Elena Marchiori: A Predicate Transformer for Unification. 67-81 BibTeX

Programming Languages Issues

Yann Rouzaud, Lan Nguyen-Phuong: Integrating Modes and Subtypes into a Prolog Type-Checker. 85-97 BibTeX
Jean-Marie Jacquet, Luís Monteiro: Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. 98-112 BibTeX
Michele Bugliesi: A Declarative View of Inheritance in Logic Programming. 113-127 BibTeX

Verification I

Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observational Equivalences for Logic Programs. 131-145 BibTeX
James Harland: On Normal Forms and Equivalence for Logic Programs. 146-160 BibTeX
Gérard Ferrand, Pierre Deransart: Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. 161-174 BibTeX

Functions and Equations

Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Equational Logic Programming Actions, and Change. 177-191 BibTeX
Michael Hanus: On the Completeness of Residuation. 192-206 BibTeX
Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Implementing a Lazy Functional Logic Language with Disequality Constraints. 207-221 BibTeX

Constraints

Hélène Kirchner, Christophe Ringeissen: A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. 225-239 BibTeX
Gert Smolka, Ralf Treinen: Records for Logic Programming. 240-254 BibTeX
Margarida Mamede, Luís Monteiro: A Contraint Logic Programming Scheme for Taxonomic Reasoning. 255-269 BibTeX

Deductive Databases

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: Controlling the Search in Bottom-Up Evaluation. 273-287 BibTeX
David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. 288-302 BibTeX
Fangqing Dong, Laks V. S. Lakshmanan: Deductive Databases with Incomplete Information. 303-317 BibTeX

Verification II

François Bronsard, T. K. Lakshman, Uday S. Reddy: A Framework of Directionality for Proving Termination of Logic Programs. 321-335 BibTeX
Gerhard Gröger, Lutz Plümer: Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs. 336-350 BibTeX
Geraint A. Wiggins: Synthesis and Transformation of Logic Programs in the Whelk Proof Development System. 351-365 BibTeX

Implementation I

William J. Older, John A. Rummell: An Incremental Garbage Collector for WAM-Based Prolog. 369-383 BibTeX
Salvador Abreu, Luís Moniz Pereira, Philippe Codognet: Improving Backward Execution in the Andorra Family of Languages. 384-398 BibTeX
David Gudeman, Koenraad De Bosschere, Saumya K. Debray: jc: An Efficient and Portable Sequential Implementation of Janus. 399-413 BibTeX

Negation I

Piero A. Bonatti: Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. 417-430 BibTeX , long version: JLP 22(2): 91-149 (1995)
Laura Giordano, Nicola Olivetti: Negation as Failure in Intuitionistic Logic Programming. 431-445 BibTeX
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. 446-460 BibTeX

Concurrent Logic Programming

Frank S. de Boer, Catuscia Palamidessi: A Process Algebra of Concurrent Constraint Programming. 463-477 BibTeX
Andy King, Paul Soper: Schedule Analysis of Concurrent Logic programs. 478-492 BibTeX
R. Sundararajan, A. V. S. Sastry, Evan Tick: Variable Threadedness Analysis for Concurrent Logic Programs. 493-508 BibTeX

Meta and Higher-Order Programming

Bern Martens, Danny De Schreye: A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. 511-525 BibTeX
Taisuke Sato: Meta-Programming through a Truth Predicate. 526-540 BibTeX
Juergen Haas, Bharat Jayaraman: Interactive Synthesis of Definite-Clause Grammars. 541-555 BibTeX

Negation II

Michael Gelfond, Vladimir Lifschitz: Representing Actions in Extended Logic Programming. 559-573 BibTeX
José Júlio Alferes, Luís Moniz Pereira: On Logic Program Semantics with Two Kinds of Negation. 574-588 BibTeX
Weidong Chen, David Scott Warren: A Goal-Oriented Approach to Computing Well Founded Semantics. 589-603 BibTeX

Linear Logic

Serenella Cerrito: Herbrand Methods in Sequent Calculi: Unification in LL. 607-621 BibTeX
Joshua S. Hodas: Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. 622-636 BibTeX

Implementation II

Ta Chen, I. V. Ramakrishnan, R. Ramesh: Multistage Indexing Algorithms for Speeding Prolog Execution. 639-653 BibTeX , final version: SP&E 24(12): 1097-1119 (1994)
Saumya K. Debray, Sampath Kannan, Mukul Paithane: Weighted Decision Trees. 654-668 BibTeX

Abduction

Ken Satoh, Noboru Iwayama: A Query Evaluation Method for Abductive Logic Programming. 671-685 BibTeX
Marc Denecker, Danny De Schreye: SLDNFA: An Abductive Procedure for Normal Abductive Programs. 686-700 BibTeX

Implementation of Parallelism

Péter Szeredi: Exploiting Or-Parallelism in Optimisation Problems. 703-716 BibTeX
Kish Shen: Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS). 717-731 BibTeX

Program Analysis

Peter A. Bigot, Saumya K. Debray, Kim Marriott: Understanding Finiteness Analysis Using Abstract Interpretation. 735-749 BibTeX
Baudouin Le Charlier, Pascal Van Hentenryck: Reexecution in Abstract Interpretation of Prolog. 750-764 BibTeX
Nevin Heintze: Practical Aspects of Set Based Analysis. 765-779 BibTeX

Semantics

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal Logic Programs as Open Positive Programs. 783-797 BibTeX
Jürgen Dix: Classifying Semantics of Disjunctive Logic Programs. 798-812 BibTeX
Rachel Ben-Eliyahu, Rina Dechter: Propositional Sematics for Disjunctive Logic Programs. 813-827 BibTeX

Addendum

William J. Mitchell: The Logic of Architecture: Programming the Invention of Physical Artifacts. 831-846 BibTeX

Copyright © Sat May 16 23:20:23 2009 by Michael Ley (ley@uni-trier.de)