default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ICLP 1994: Santa Margherita Ligure, Italy
- Pascal Van Hentenryck:
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994. MIT Press 1994, ISBN 0-262-72022-1
Invited Talks
- John Launchbury, Simon L. Peyton Jones:
Lazy Funtional State Threads: An Abstract. ICLP 1994: 3-5
Advanced Tutorials
- Sverker Janson:
Implementation of Andorra-based Languages. ICLP 1994: 9-10 - Kung-Kiu Lau, Geraint A. Wiggins:
A Tutorial on Synthesis of Logic Programs from Specifications. ICLP 1994: 11-14 - Evelina Lamma, Paola Mello:
Modularity in Logic Programming. ICLP 1994: 15-17 - Antonis C. Kakas, Paolo Mancarella:
Abduction and Abductive Logic Programming. ICLP 1994: 18-19
Semantics I
- Vladimir Lifschitz, Hudson Turner:
Splitting a Logic Program. ICLP 1994: 23-37 - Norman McCain, Hudson Turner:
Language Independence and Language Tolerance in Logic Programs. ICLP 1994: 38-57 - Jürgen Stuber:
Computing Stable Models by Program Transformation. ICLP 1994: 58-73 - Krzysztof R. Apt, Maurizio Gabbrielli:
Declarative Interpretations Reconsidered. ICLP 1994: 74-89
Parallelism
- Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa:
ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109 - Remco Moolenaar, Bart Demoen:
Hybrid Tree Search in the Andorra Model. ICLP 1994: 110-123 - Shyam Mudambi, Joachim Schimpf:
Parallel CLP on Heterogeneous Networks. ICLP 1994: 124-141 - Lourdes Araujo, José J. Ruz:
PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog. ICLP 1994: 142-156
Implementation
- Neng-Fa Zhou:
On the Scheme of Passing Arguments in Stack Frames for Prolog. ICLP 1994: 159-174 - Peter A. Bigot, David Gudeman, Saumya K. Debray:
Output Value Placement in Moded Logic Programs. ICLP 1994: 175-189 - Ralph Clarke Haygood:
Native Code Compilation in SICStus Prolog. ICLP 1994: 190-204
Actions
- Michael Thielscher:
Representing Actions in Equational Logic Programming. ICLP 1994: 207-224 - Kristof Van Belleghem, Marc Denecker, Danny De Schreye:
Representing Continuous Change in the Abductive Event Calculus. ICLP 1994: 225-239 - Alessio Guglielmi:
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. ICLP 1994: 240-254
Semantics II
- Sonia M. Leach, James J. Lu:
Computing Annotated Logic Programs. ICLP 1994: 257-271 - Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Conditonal Logic Programming. ICLP 1994: 272-289 - Jürgen Dix, Georg Gottlob, V. Wiktor Marek:
Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302 - Jürgen Dix, Martin Müller:
An Axiomatic Approach to Semantics of Disjunctive Programs. ICLP 1994: 303-320
Constraints I
- Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes:
Finding Conflict Sets and Backtrack Points in CLP(R). ICLP 1994: 323-338 - Björn Carlson, Mats Carlsson, Daniel Diaz:
Entailment of Finite Domain Constraints. ICLP 1994: 339-353 - Antoine Rauzy:
Notes on the Design of an Open Boolean Solver. ICLP 1994: 354-368 - Yves Caseau, François Laburthe:
Improved CLP Scheduling with Task Intervals. ICLP 1994: 369-383
Higher-Order and Meta Programming
- Yuejun Jiang:
Ambivalent Logic as the Semantic Basis of Metalogic Programming. ICLP 1994: 387-401 - Uday S. Reddy:
Higher-order Aspects of Logic Programming. ICLP 1994: 402-418 - Luís Caires, Luís Monteiro:
Higher-Order Polymorphic Unification for Logic Programming. ICLP 1994: 419-433
Databases
- Marcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci:
A Database Interface for Complex Objects. ICLP 1994: 437-455 - Hendrik Decker, Matilde Celma:
A Slick Procedure for Integrity Checking in Deductive Databases. ICLP 1994: 456-469 - Éric Villemonte de la Clergerie, Bernard Lang:
LPDA: Another look at Tabulation in Logic Programming. ICLP 1994: 470-486
Abduction and Negation
- Chiaki Sakama, Katsumi Inoue:
On the Equivalence between Disjunctive and Abductive Logic Programs. ICLP 1994: 489-503 - Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung:
The Acceptability Semantics for Logic Programs. ICLP 1994: 504-519 - Annalisa Bossi, Massimo Fabris, Maria Chiara Meo:
A Bottom-up Semantics for Constructive Negation. ICLP 1994: 520-534 - Juan José Moreno-Navarro:
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. ICLP 1994: 535-549
Analysis
- Andy King, Paul Soper:
Depth-k Sharing and Freeness. ICLP 1994: 553-568 - Veroniek Dumortier, Gerda Janssens:
Towards a Practical Full Mode Inference System for CLP(H, N). ICLP 1994: 569-583 - Dino Pedreschi:
A Proof Method for Runtime Properties of Prolog Programs. ICLP 1994: 584-598 - John P. Gallagher, D. Andre de Waal:
Fast and Precise Regular Approximations of Logic Programs. ICLP 1994: 599-613
Constraint II
- Hélène Kirchner, Christophe Ringeissen:
Constraint Solving by Narrowing in Combined Algebraic Domains. ICLP 1994: 617-631 - François Barthélemy:
A Grammatical Approach to DCG Parsing. ICLP 1994: 632-646 - Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Compiling Intensional Sets in CLP. ICLP 1994: 647-661
Transformation and Synthesis
- Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund:
The Halting Problem for Deductive Synthesis of Logic Programs. ICLP 1994: 665-683 - Kouichi Kumon, Keiji Hirata:
A New Transformation based on Process-Message Duality for Concurrent Logic Languages. ICLP 1994: 684-698 - Dmitri Boulanger, Danny De Schreye:
Compiling Control Revisited: A New Approach based upon Abstract Interpretation. ICLP 1994: 699-713 - Maurizio Proietti, Alberto Pettorossi:
Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables. ICLP 1994: 714-729
Poster Abstracts
- Carmen Gervet:
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables. ICLP 1994: 733 - Marion Mircheva:
Logic Programs with Refutation Rules. ICLP 1994: 734 - Henning Christiansen:
Efficient and Complete Demo Predicates for Definite Clause Languages. ICLP 1994: 735-736 - Stephan Diehl:
Towards a Verified OR-Parallel WAM. ICLP 1994: 737-738 - Paulo Jorge de Sousa Azevedo, Marek J. Sergot:
Recomputation-Free Lemmatization by Program Transformation. ICLP 1994: 739-740 - David A. Basin:
IsaWhelk Interpreted in Isabelle. ICLP 1994: 741 - Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
Reflection through Constraint Satisfaction. ICLP 1994: 742 - Jean-Marie Jacquet, Luís Monteiro:
PP-clauses: A Means for Handling Resources. ICLP 1994: 743 - Esther D. Silcrat:
Logic, Algebra and Static Analysis in DM Systems, the IE Way. ICLP 1994: 744 - Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos:
Proving Hardware Designs. ICLP 1994: 745 - Andreas Kågedal:
A Dataflow Analysis Method for Ground Prolog. ICLP 1994: 746 - Roman R. Zapatrin:
Logic Programming as Quantum Measurement. ICLP 1994: 747
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-18 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
