default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ILPS 1994: Ithaca, New York
- Maurice Bruynooghe:
Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, 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. ILPS 1994: 3-16 - Neil D. Jones:
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming. ILPS 1994: 17-22 - Georg Gottlob:
Complexity and Expressive Power of Disjunctive Logic Programming. ILPS 1994: 23-42 - John W. Lloyd:
Combining Functional and Logic Programming Languages. ILPS 1994: 43-57
Semantics I
- Hudson Turner:
Signed Logic Programs. ILPS 1994: 61-75 - Kenneth A. Ross:
A Syntactic Stratification Condition Using Constraints. ILPS 1994: 76-90 - Bernard Malfon:
Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation. ILPS 1994: 91-105
Constraints I
- C. K. Chiu, Jimmy Ho-Man Lee:
Towards Practical Interval Constraint Solving in Logic Programming. ILPS 1994: 109-123 - Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck:
CLP(Intervals) Revisited. ILPS 1994: 124-138 - Jean-Louis Imbert:
Redundancy, Variable Elimination and Linear Disequations. ILPS 1994: 139-153
Program Analysis I
- Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. ILPS 1994: 157-171 - Marco Comini, Giorgio Levi:
An Algebraic Theory of Observables. ILPS 1994: 172-186
Deductive Databases
- David Toman, Jan Chomicki, David S. Rogers:
Datalog with Integer Periodicity Constraints. ILPS 1994: 189-203 - Raghu Ramakrishnan, Kenneth A. Ross, Divesh Srivastava, S. Sudarshan:
Efficient Incremental Evaluation of Queries with Aggregation. ILPS 1994: 204-218 - Terrance Swift, David Scott Warren:
Analysis of SLG-WAM Evaluation of Definite Programs. ILPS 1994: 219-235
Semantics II
- Jia-Huai You, Robert Cartwright:
Tractable Argumentation Semantics via Iterative Belief Revision. ILPS 1994: 239-253 - Laks V. S. Lakshmanan, Fereidoon Sadri:
Probabilistic Deductive Databases. ILPS 1994: 254-268 - Paul Broome, James Lipton:
Combinatory Logic Programming: Computing in Relation Calculi. ILPS 1994: 269-285
Parallelism
- Inês de Castro Dutra:
Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems. ILPS 1994: 289-304 - Saumya K. Debray, Mudita Jain:
A Simple Program Transformation for Parallelism. ILPS 1994: 305-319 - Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. ILPS 1994: 320-336
Constraints II
- Carmen Gervet:
Conjunto: Constraint Logic Programming with Finite Set Domains. ILPS 1994: 339-358 - Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. ILPS 1994: 359-374
Program Analysis II
- Roberto Giacobazzi:
Abductive Analysis of Modular Logic Programs. ILPS 1994: 377-391 - Massimo Marchiori:
Localizations of Unification Freedom through Matching Directions. ILPS 1994: 392-406
Inference Methods
- Alain Hui-Bon-Hoa:
Intuitionistic Implication and Resolution. ILPS 1994: 409-423 - José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira:
SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. ILPS 1994: 424-438 - David A. Rosenblueth, Julio C. Peralta:
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. ILPS 1994: 439-453
Program Analysis III
- C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck:
Cardinality Analysis of Prolog. ILPS 1994: 457-471 - Kjell Post:
Mutally Exclusive Rules in Logic Programming. ILPS 1994: 472-486 - Saumya K. Debray, David Gudeman, Peter A. Bigot:
Detection and Optimization of Suspension-free Logic Programs. ILPS 1994: 487-501
Concurrent Constraint Programming
- Christian Schulte, Gert Smolka:
Encapsulated Search for Higher-order Concurrent Constraint Programming. ILPS 1994: 505-520 - Björn Carlson, Seif Haridi, Sverker Janson:
AKL(FD) - A Concurrent Language for FD Programming. ILPS 1994: 521-535
Artificial Intelligence
- Robert A. Kowalski, Fariba Sadri:
The Situation Calculus and Event Calculus Compared. ILPS 1994: 539-553 - Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
SLD - Resolution with Reflection. ILPS 1994: 554-568
Analysis of Constraint Logic Programs
- Kim Marriott, Peter J. Stuckey:
Approximating Interaction between Linear Arithmetic Constraints. ILPS 1994: 571-585 - Spiro Michaylov, Bill Pippin:
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs. ILPS 1994: 586-600
Implementation
- Thomas Lindgren:
A Continuation-Passing Style for Prolog. ILPS 1994: 603-617 - R. Ramesh, Weidong Chen:
A Portable Method of Integrating SLG Resolution into Prolog Systems. ILPS 1994: 618-632 - Terrance Swift, David Scott Warren:
An Abstract Machine for SLG Resolution: Definite Programs. ILPS 1994: 633-652
Program Analysis IV
- Gilberto Filé, Francesco Ranzato:
Improving Abstract Interpretations by Systematic Lifting to the Powerset. ILPS 1994: 655-669
Poster Session
- Gregory W. Bond, Bernie Pagurek:
Declarative Error Diagnosis as Consistency-Based Diagnosis. ILPS 1994: 673 - Pascal Brisset:
Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language. ILPS 1994: 674 - Iliano Cervesato, Luca Chittaro, Angelo Montanari:
Modal Event Calculus. ILPS 1994: 675 - Andrew Davison, Elizabeth Haywood:
Parsing with PTN. ILPS 1994: 676 - Michael I. Dekhtyar, Alexander Ja. Dikovsky:
On Stable Behaviour of Dynamic Deductive Data Bases. ILPS 1994: 677 - Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure:
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. ILPS 1994: 678 - Jonathan M. Lever:
Constraint Logic Programming for Planning. ILPS 1994: 679 - Miguel-Angel Oros, Paul Y. Gloess:
Inferring Inheritance from Datalog Programs. ILPS 1994: 680 - Arcot Rajasekar:
Constraint Logic Programming on Strings: Theory and Applications. ILPS 1994: 681 - Konstantinos Sagonas, David Scott Warren:
A Portable Compiler for Integrating HiLog into Prolog Systems. ILPS 1994: 682 - Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ILPS 1994: 683-684 - L. Thorne McCarty, Leon A. Shklar:
A PROLOG Interpreter for First-Order Intuitionistic Logic. ILPS 1994: 685 - Li-Yan Yuan, Jia-Huai You:
A Simple but Effective Program Revision Method. ILPS 1994: 686
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 2024-11-30 00:02 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:
