Logic Programming: The 11th International Conference

doi:10.7551/mitpress/4316.001.0001

Skip Nav Destination

Logic Programming

Logic Programming: The 11th International Conference

Edited by

The MIT Press

DOI:

https://doi.org/10.7551/mitpress/4316.001.0001

ISBN electronic:

9780262257145

Publication date:

1994

Conference proceedings presenting the state-of-the-art in Logic Programming.

[ Front Matter ]

Doi:

https://doi.org/10.7551/mitpress/4316.003.0082

Open the PDF for [ Front Matter ] in another window
Program Committee

Doi:

https://doi.org/10.7551/mitpress/4316.003.0001

Open the PDF for Program Committee in another window
The Association for Logic Programming

Doi:

https://doi.org/10.7551/mitpress/4316.003.0002

Open the PDF for The Association for Logic Programming in another window
Series Foreword

Doi:

https://doi.org/10.7551/mitpress/4316.003.0003

Open the PDF for Series Foreword in another window
Preface

Doi:

https://doi.org/10.7551/mitpress/4316.003.0004

Open the PDF for Preface in another window
Referees

Doi:

https://doi.org/10.7551/mitpress/4316.003.0005

Open the PDF for Referees in another window
Invited Talks
- Lazy Functional State Threads: An Abstract
  
  By
  
  John Launchbury,
  
  John Launchbury
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Simon Peyton Jones
  
  Simon Peyton Jones
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0007
  
  Open the PDF for Lazy Functional State Threads: An Abstract in another window
Advanced Tutorials
- Implementation of Andorra-based Languages
  
  By
  
  Sverker Janson
  
  Sverker Janson
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0009
  
  Open the PDF for Implementation of Andorra-based Languages in another window
- A Tutorial on Synthesis of Logic Programs from Specifications
  
  By
  
  Kung-Kiu Lau,
  
  Kung-Kiu Lau
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Geraint Wiggins
  
  Geraint Wiggins
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0010
  
  Open the PDF for A Tutorial on Synthesis of Logic Programs from Specifications in another window
- Modularity in Logic Programming
  
  By
  
  Evelina Lamma,
  
  Evelina Lamma
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Paola Mello
  
  Paola Mello
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0011
  
  Open the PDF for Modularity in Logic Programming in another window
- Abduction and Abductive Logic Programming
  
  By
  
  A. C. Kakas,
  
  A. C. Kakas
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  P. Mancarella
  
  P. Mancarella
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0012
  
  Open the PDF for Abduction and Abductive Logic Programming in another window
Semantics I
- Splitting a Logic Program
  
  By
  
  Vladimir Lifschitz,
  
  Vladimir Lifschitz
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Hudson Turner
  
  Hudson Turner
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0014
  
  Open the PDF for Splitting a Logic Program in another window
- Language Independence and Language Tolerance in Logic Programs
  
  By
  
  Norman McCain,
  
  Norman McCain
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Hudson Turner
  
  Hudson Turner
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0015
  
  Open the PDF for Language Independence and Language Tolerance in Logic Programs in another window
- Computing Stable Models by Program Transformation
  
  By
  
  Jurgen Stuber
  
  Jurgen Stuber
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0016
  
  Open the PDF for Computing Stable Models by Program Transformation in another window
- Declarative Interpretations Reconsidered
  
  By
  
  Krzysztof R. Apt,
  
  Krzysztof R. Apt
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Maurizio Gabbrielli
  
  Maurizio Gabbrielli
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0017
  
  Open the PDF for Declarative Interpretations Reconsidered in another window
Parallelism
- ACE: And/Or-parallel Copying-based Execution of Logic Programs
  
  By
  
  Gopal Gupta,
  
  Gopal Gupta
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Manuel Hermenegildo,
  
  Manuel Hermenegildo
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Enrico Pontelli,
  
  Enrico Pontelli
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Vítor Santos Costa
  
  Vítor Santos Costa
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0019
  
  Open the PDF for ACE: And/Or-parallel Copying-based Execution of Logic Programs in another window
- Hybrid Tree Search in the Andorra Model
  
  By
  
  Remco Moolenaar,
  
  Remco Moolenaar
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Bart Demoen
  
  Bart Demoen
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0020
  
  Open the PDF for Hybrid Tree Search in the Andorra Model in another window
- Parallel CLP on Heterogeneous Networks
  
  By
  
  Shyam Mudambi,
  
  Shyam Mudambi
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Joachim Schimpf
  
  Joachim Schimpf
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0021
  
  Open the PDF for Parallel CLP on Heterogeneous Networks in another window
- PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog
  
  By
  
  Lourdes Araujo,
  
  Lourdes Araujo
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Jose J. Ruz
  
  Jose J. Ruz
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0022
  
  Open the PDF for PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog in another window
Implementation
- On the Scheme of Passing Arguments in Stack Frames for Prolog
  
  By
  
  Neng-Fa Zhou
  
  Neng-Fa Zhou
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0024
  
  Open the PDF for On the Scheme of Passing Arguments in Stack Frames for Prolog in another window
- Output Value Placement in Moded Logic Programs
  
  By
  
  Peter A. Bigot,
  
  Peter A. Bigot
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  David Gudeman,
  
  David Gudeman
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Saumya Debray
  
  Saumya Debray
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0025
  
  Open the PDF for Output Value Placement in Moded Logic Programs in another window
- Native Code Compilation in SICStus Prolog
  
  By
  
  Ralph Clarke Haygood
  
  Ralph Clarke Haygood
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0026
  
  Open the PDF for Native Code Compilation in SICStus Prolog in another window
Actions
- Representing Actions in Equational Logic Programming
  
  By
  
  Michael Thielscher
  
  Michael Thielscher
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0028
  
  Open the PDF for Representing Actions in Equational Logic Programming in another window
- Representing Continuous Change in the Abductive Event Calculus
  
  By
  
  Kristof Van Belleghem,
  
  Kristof Van Belleghem
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Marc Denecker,
  
  Marc Denecker
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Danny De Schreye
  
  Danny De Schreye
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0029
  
  Open the PDF for Representing Continuous Change in the Abductive Event Calculus in another window
- Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator
  
  By
  
  Alessio Guglielmi
  
  Alessio Guglielmi
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0030
  
  Open the PDF for Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator in another window
Semantics II
- Computing Annotated Logic Programs
  
  By
  
  Sonia M. Leach,
  
  Sonia M. Leach
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  James J. Lu
  
  James J. Lu
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0032
  
  Open the PDF for Computing Annotated Logic Programs in another window
- Conditional Logic Programming
  
  By
  
  D. Gabbay,
  
  D. Gabbay
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  L. Giordano,
  
  L. Giordano
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  A. Martelli,
  
  A. Martelli
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  N. Olivetti
  
  N. Olivetti
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0033
  
  Open the PDF for Conditional Logic Programming in another window
- Causal Models of Disjunctive Logic Programs
  
  By
  
  Jürgen Dix,
  
  Jürgen Dix
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Georg Gottlob,
  
  Georg Gottlob
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Viktor Marek
  
  Viktor Marek
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0034
  
  Open the PDF for Causal Models of Disjunctive Logic Programs in another window
- An Axiomatic Approach to Semantics of Disjunctive Programs
  
  By
  
  Jürgen Dix,
  
  Jürgen Dix
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Martin Müller
  
  Martin Müller
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0035
  
  Open the PDF for An Axiomatic Approach to Semantics of Disjunctive Programs in another window
Constraints I
- Finding Conflict Sets and Backtrack Points in CLP(R)
  
  By
  
  Jennifer Burg,
  
  Jennifer Burg
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Sheau-Dong Lang,
  
  Sheau-Dong Lang
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Charles E. Hughes
  
  Charles E. Hughes
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0037
  
  Open the PDF for Finding Conflict Sets and Backtrack Points in CLP(R) in another window
- Entailment of Finite Domain Constraints
  
  By
  
  Björn Carlson,
  
  Björn Carlson
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Mats Carlsson,
  
  Mats Carlsson
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Daniel Diaz
  
  Daniel Diaz
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0038
  
  Open the PDF for Entailment of Finite Domain Constraints in another window
- Notes on the Design of an Open Boolean Solver
  
  By
  
  Antoine Rauzy
  
  Antoine Rauzy
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0039
  
  Open the PDF for Notes on the Design of an Open Boolean Solver in another window
- Improved CLP Scheduling with Task Intervals
  
  By
  
  Yves Caseau,
  
  Yves Caseau
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  François Laburthe
  
  François Laburthe
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0040
  
  Open the PDF for Improved CLP Scheduling with Task Intervals in another window
Higher-order and Meta Programming
- Ambivalent Logic as the Semantic Basis of Metalogic Programming: I
  
  By
  
  Yuejun Jiang
  
  Yuejun Jiang
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0042
  
  Open the PDF for Ambivalent Logic as the Semantic Basis of Metalogic Programming: I in another window
- Higher-order Aspects of Logic Programming (Summary)
  
  By
  
  Uday S. Reddy
  
  Uday S. Reddy
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0043
  
  Open the PDF for Higher-order Aspects of Logic Programming (Summary) in another window
- Higher-Order Polymorphic Unification for Logic Programming
  
  By
  
  Luis Caires,
  
  Luis Caires
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Luis Monteiro
  
  Luis Monteiro
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0044
  
  Open the PDF for Higher-Order Polymorphic Unification for Logic Programming in another window
Databases
- A Database Interface for Complex Objects
  
  By
  
  Marcel Holsheimer,
  
  Marcel Holsheimer
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Rolf A. de By,
  
  Rolf A. de By
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Hassan Aït-Kaci
  
  Hassan Aït-Kaci
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0046
  
  Open the PDF for A Database Interface for Complex Objects in another window
- A Slick Procedure for Integrity Checking in Deductive Databases
  
  By
  
  Hendrik Decker,
  
  Hendrik Decker
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Matilde Celma
  
  Matilde Celma
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0047
  
  Open the PDF for A Slick Procedure for Integrity Checking in Deductive Databases in another window
- LPDA: Another look at Tabulation in Logic Programming
  
  By
  
  Eric Villemonte de la Clergerie,
  
  Eric Villemonte de la Clergerie
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Bernard Lang
  
  Bernard Lang
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0048
  
  Open the PDF for LPDA: Another look at Tabulation in Logic Programming in another window
Abduction and Negation
- On the Equivalence between Disjunctive and Abductive Logic Programs
  
  By
  
  Chiaki Sakama,
  
  Chiaki Sakama
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Katsumi Inoue
  
  Katsumi Inoue
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0050
  
  Open the PDF for On the Equivalence between Disjunctive and Abductive Logic Programs in another window
- The Acceptability Semantics for Logic Programs
  
  By
  
  A. C. Kakas,
  
  A. C. Kakas
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  P. Mancarella,
  
  P. Mancarella
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Phan Minh Dung
  
  Phan Minh Dung
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0051
  
  Open the PDF for The Acceptability Semantics for Logic Programs in another window
- A Bottom-up Semantics for Constructive Negation
  
  By
  
  Annalisa Bossi,
  
  Annalisa Bossi
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Massimo Fabris,
  
  Massimo Fabris
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Maria Chiara Meo
  
  Maria Chiara Meo
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0052
  
  Open the PDF for A Bottom-up Semantics for Constructive Negation in another window
- Default Rules: An Extension of Constructive Negation for Narrowing-based Languages
  
  By
  
  Juan José Moreno-Navarro
  
  Juan José Moreno-Navarro
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0053
  
  Open the PDF for Default Rules: An Extension of Constructive Negation for Narrowing-based Languages in another window
Analysis
- Depth-k Sharing and Freeness
  
  By
  
  Andy King,
  
  Andy King
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Paul Soper
  
  Paul Soper
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0055
  
  Open the PDF for Depth-k Sharing and Freeness in another window
- Towards a Practical Full Mode Inference System for CLP(H,N)
  
  By
  
  Veroniek Dumortier,
  
  Veroniek Dumortier
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Gerda Janssens
  
  Gerda Janssens
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0056
  
  Open the PDF for Towards a Practical Full Mode Inference System for CLP(H,N) in another window
- A Proof Method for Run-time Properties of Prolog Programs
  
  By
  
  Dina Pedreschi
  
  Dina Pedreschi
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0057
  
  Open the PDF for A Proof Method for Run-time Properties of Prolog Programs in another window
- Fast and Precise Regular Approximations of Logic Programs
  
  By
  
  J. P. Gallagher,
  
  J. P. Gallagher
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  D. A. de Waal
  
  D. A. de Waal
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0058
  
  Open the PDF for Fast and Precise Regular Approximations of Logic Programs in another window
Constraints II
- Constraint Solving by Narrowing in Combined Algebraic Domains
  
  By
  
  Hélène Kirchner,
  
  Hélène Kirchner
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Christophe Ringeissen
  
  Christophe Ringeissen
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0060
  
  Open the PDF for Constraint Solving by Narrowing in Combined Algebraic Domains in another window
- A Grammatical Approach to DCG Parsing
  
  By
  
  François Barthélemy
  
  François Barthélemy
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0061
  
  Open the PDF for A Grammatical Approach to DCG Parsing in another window
- Compiling Intensional Sets in CLP
  
  By
  
  Paola Bruscoli,
  
  Paola Bruscoli
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Agostino Dovier,
  
  Agostino Dovier
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Enrico Pontelli,
  
  Enrico Pontelli
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Gianfranco Rossi
  
  Gianfranco Rossi
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0062
  
  Open the PDF for Compiling Intensional Sets in CLP in another window
Transformation and Synthesis
- The Halting Problem for Deductive Synthesis of Logic Programs
  
  By
  
  Kung-Kiu Lau,
  
  Kung-Kiu Lau
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Mario Ornaghi,
  
  Mario Ornaghi
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Sten-Åke Tärnlund
  
  Sten-Åke Tärnlund
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0064
  
  Open the PDF for The Halting Problem for Deductive Synthesis of Logic Programs in another window
- A New Transformation Based on Process-Message Duality for Concurrent Logic Languages
  
  By
  
  Kouichi Kumon,
  
  Kouichi Kumon
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Keiji Hirata
  
  Keiji Hirata
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0065
  
  Open the PDF for A New Transformation Based on Process-Message Duality for Concurrent Logic Languages in another window
- Compiling Control Revisited: A New Approach Based upon Abstract Interpretation
  
  By
  
  Dmitri Boulanger,
  
  Dmitri Boulanger
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Danny De Schreye
  
  Danny De Schreye
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0066
  
  Open the PDF for Compiling Control Revisited: A New Approach Based upon Abstract Interpretation in another window
- Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables
  
  By
  
  Maurizio Proietti,
  
  Maurizio Proietti
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Alberto Pettorossi
  
  Alberto Pettorossi
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0067
  
  Open the PDF for Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables in another window
Poster Abstracts
- Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables
  
  By
  
  Carmen Gervet
  
  Carmen Gervet
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0069
  
  Open the PDF for Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables in another window
- Logic Programs with Refutation Rules
  
  By
  
  Marion Mircheva
  
  Marion Mircheva
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0070
  
  Open the PDF for Logic Programs with Refutation Rules in another window
- Efficient and Complete Demo Predicates for Definite Clause Languages
  
  By
  
  Henning Christiansen
  
  Henning Christiansen
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0071
  
  Open the PDF for Efficient and Complete Demo Predicates for Definite Clause Languages in another window
- Towards a Verified OR-Parallel WAM
  
  By
  
  Stephan Diehl
  
  Stephan Diehl
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0072
  
  Open the PDF for Towards a Verified OR-Parallel WAM in another window
- Recomputation-Free Lemmatization by Program Transformation
  
  By
  
  P. J. Azevedo,
  
  P. J. Azevedo
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  M. J. Sergot
  
  M. J. Sergot
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0073
  
  Open the PDF for Recomputation-Free Lemmatization by Program Transformation in another window
- IsaWhelk: Whelk Interpreted in Isabelle
  
  By
  
  David A. Basin
  
  David A. Basin
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0074
  
  Open the PDF for IsaWhelk: Whelk Interpreted in Isabelle in another window
- Reflection through Constraint Satisfaction
  
  By
  
  Jonas Barklund,
  
  Jonas Barklund
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Pierangelo Dell'Acqua,
  
  Pierangelo Dell'Acqua
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Stefania Costantini,
  
  Stefania Costantini
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Gaetano A. Lanzarone
  
  Gaetano A. Lanzarone
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0075
  
  Open the PDF for Reflection through Constraint Satisfaction in another window
- PP-clauses: A Means for Handling Resources
  
  By
  
  J.-M. Jacquet,
  
  J.-M. Jacquet
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Luis Monteiro
  
  Luis Monteiro
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0076
  
  Open the PDF for PP-clauses: A Means for Handling Resources in another window
- Logic, Algebra and Static Analysis in DM Systems, the IE Way
  
  By
  
  Esther D. Shilcrat
  
  Esther D. Shilcrat
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0077
  
  Open the PDF for Logic, Algebra and Static Analysis in DM Systems, the IE Way in another window
- Proving Hardware Designs
  
  By
  
  Peter T. Breuer,
  
  Peter T. Breuer
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Luis Sánchez,
  
  Luis Sánchez
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Carlos Delgado Kloos
  
  Carlos Delgado Kloos
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0078
  
  Open the PDF for Proving Hardware Designs in another window
- A Dataflow Analysis Method for Ground Prolog
  
  By
  
  Andreas Kågedal
  
  Andreas Kågedal
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0079
  
  Open the PDF for A Dataflow Analysis Method for Ground Prolog in another window
- Logic Programming as Quantum Measurement
  
  By
  
  R. R. Zapatrin
  
  R. R. Zapatrin
  
  Search for other works by this author on:
  
  This Site
  
  Google Scholar
  
  Doi:
  
  https://doi.org/10.7551/mitpress/4316.003.0080
  
  Open the PDF for Logic Programming as Quantum Measurement in another window
Author Index

Doi:

https://doi.org/10.7551/mitpress/4316.003.0081

Open the PDF for Author Index in another window

All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.

Logic Programming: The 11th International Conference

Table of Contents

A product of The MIT Press

MIT Press Direct

Information

MIT Press

Contact Us

Logic Programming: The 11th International Conference

Table of Contents

A product of The MIT Press

MIT Press Direct

Information

MIT Press

Contact Us

This Feature Is Available To Subscribers Only