default search action
10th ICLP 1993: Budapest, Hungary
- David Scott Warren:
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. MIT Press 1993, ISBN 0-262-73105-3
Invited Talks
- Ivan Futó:
Prolog with Communicating Processes: From T-Prolog to CSR-Prolog. ICLP 1993: 3-17 - Anil Nerode, Wolf Kohn:
Hybrid Systems and Constraint Logic Programming. ICLP 1993: 18-24
Higher-Order Extensions to Prolog
- Pascal Brisset, Olivier Ridoux:
Continuations in Lambda-Prolog. ICLP 1993: 27-43 - L. Thorne McCarty:
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. ICLP 1993: 44-63 - Serge Le Huitouze, Pascale Louvet, Olivier Ridoux:
Logic Grammars and Lambda-Prolog. ICLP 1993: 64-79
Freeness
- Michael Hanus:
Analysis of Nonlinear Constraints in CLP(R). ICLP 1993: 83-99 - Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish:
Freeness Analysis in the Presence of Numerical Constraints. ICLP 1993: 100-115 - Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe:
Freeness Analysis for Logic Programs - And Correctness? ICLP 1993: 116-131
Parallel Implementations 1
- Tony Beaumont, David H. D. Warren:
Scheduling Speculative Work in Or-Parallel Prolog Systems. ICLP 1993: 135-149 - 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. ICLP 1993: 150-166 - Kish Shen:
Implementing Dynamic Dependent And-Parallelism. ICLP 1993: 167-183 - Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo:
Some Paradigms for Visualizing Parallel Execution of Logic Programs. ICLP 1993: 184-200
Actions
- Javier Pinto, Raymond Reiter:
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. ICLP 1993: 203-221 - Phan Minh Dung:
Representing Actions in Logic Programming and Its Applications in Database Updates. ICLP 1993: 222-238 - Christoph Brzoska:
Temporal Logic Programming with Bounded Universal Modality Goals. ICLP 1993: 239-256 - Anthony J. Bonner, Michael Kifer:
Transaction Logic Programming. ICLP 1993: 257-279
Parallel Implementations 2
- Johan Bevemyr, Thomas Lindgren, Håkan Millroth:
Reform Prolog: The Language and Its Implementation. ICLP 1993: 283-298 - Koenraad De Bosschere, Jean-Marie Jacquet:
Multi-Prolog: Definition, Operational Semantics and Implementation. ICLP 1993: 299-313 - Donald A. Smith:
MultiLog: Data Or-Parallel Logic Programming. ICLP 1993: 314-331
Fixpoints
- Katsumi Inoue, Chiaki Sakama:
Transforming Abductive Logic Programs to Disjunctive Programs. ICLP 1993: 335-353 - Giorgio Levi, Davide Ramundo:
A Formalization of Metaprogramming for real. ICLP 1993: 354-373 - Annalisa Bossi, Michele Bugliesi, Massimo Fabris:
A New Fixpoint Semantics for Prolog. ICLP 1993: 374-389
Implementation
- Saumya K. Debray:
On Copy Avoidance in Single Assignment Languages. ICLP 1993: 393-407 - André Mariën:
Findall without findall/3. ICLP 1993: 408-423 - Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar:
Extracting Determinacy in Logic Programs. ICLP 1993: 424-438
Program Synthesis
- Ina Kraan, David A. Basin, Alan Bundy:
Middle-Out Reasoning for Logic Program Synthesis. ICLP 1993: 441-455 - Kung-Kiu Lau, Mario Ornaghi:
An Incompleteness Result for Deductive Synthesis of Logic Programs. ICLP 1993: 456-477 - Stefan Lüttringhaus-Kappel:
Control Generation for Logic Programs. ICLP 1993: 478-495
Constraint Solving
- Jean-Louis Imbert:
Variable Elimination for Generalized Linear Constraints. ICLP 1993: 499-516 - Frédéric Benhamou, Jean-Luc Massat:
Boolean Pseudo-equations in Constraint Logic Programming. ICLP 1993: 517-531 - Evelyne Contejean:
Solving Linear Diophantine Constraints Incrementally. ICLP 1993: 532-549 - Bruno De Backer, Henri Beringer:
A CLP Language Handling Disjunctions of Linear Constraints. ICLP 1993: 550-563
Semantics 1
- Hudson Turner:
A Monotonicity Theorem for Extended Logic Programs. ICLP 1993: 567-585 - Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
A Semantics for Eshghi and Kowalski's Procedure. ICLP 1993: 586-600 - Luís Moniz Pereira, José Júlio Alferes:
Optative Reasoning with Scenario Semantics. ICLP 1993: 601-615 - Phan Minh Dung:
An Argumentation Semantics for Logic Programming with Explicit Negation. ICLP 1993: 616-630
Constraints
- Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann:
Memory Management of Constraint in Flang. ICLP 1993: 633-646 - Mats Carlsson, Mats Grindal:
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. ICLP 1993: 647-665 - David B. Kemp, Peter J. Stuckey:
Analysis Based Constraint Query Optimization. ICLP 1993: 666-682 - James Harland, Kotagiri Ramamohanarao:
Constraint Propagation for Linear Recursive Rules. ICLP 1993: 683-699
Semantics 2
- Chiaki Sakama, Katsumi Inoue:
Negation in Disjunctive Logic Programs. ICLP 1993: 703-719 - M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
Proving Termination of GHC Programs. ICLP 1993: 720-736 - Michael J. Maher:
A Logic Programming View of CLP. ICLP 1993: 737-753
Compilation
- Evan Tick, C. Banerjee:
Performance Evaluation of Monaco Compiler and Runtime Kernel. ICLP 1993: 757-773 - Daniel Diaz, Philippe Codognet:
A Minimal Extension of the WAM for clp(FD). ICLP 1993: 774-790
Databases
- Roland N. Bol, Lars Degerstedt:
The Underlying Search for Magic Templates and Tabulation. ICLP 1993: 793-811 - Raymond T. Ng:
Semantics and Consistency of Empirical Databases. ICLP 1993: 812-826
Poster Abstracts
- Kalman Balogh:
The SQL Interface of MProlog. ICLP 1993: 829-830 - Raymond Bisdorff, Sophie Laurent:
Industrial Disposing Problem Solved in CHIP. ICLP 1993: 831 - Egon Börger, Dean Rosenzweig:
Full Prolog in a Nutshell. ICLP 1993: 832 - Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro:
A Portable and Reasonably Efficient Implementation of KL1. ICLP 1993: 833 - Marc-Michel Corsini, Antoine Rauzy:
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. ICLP 1993: 834 - Zsuzsa Farkas, Gábor Gerlei, Katalin Molnár, Gábor Umann:
ZEXPERT - A Prolog-Based Shell for Knowledge Base Development. ICLP 1993: 835-836 - Thom W. Frühwirth:
User-Defined Constraint Handling. ICLP 1993: 837-838 - Phil W. Grant, C. P. Jobling:
A Prolog Toolkit for control System Models. ICLP 1993: 839-840 - Oleg Yu. Gusikhin:
Integration of Traditional Scheduling Techniques and AI on Prolog Basis. ICLP 1993: 841 - S. Ivanets, N. Ilinsky, M. Krylov, S. Timohin:
Optimum Flight Planning System for Aerodrome Zone. ICLP 1993: 842 - Nikolai K. Kossovsky, Igor P. Solovjev:
Function-Patterns and Fan-Backtracking for Logic Programming. ICLP 1993: 843 - Anthony J. Kusalik, Gregory M. Oster:
Towards Generalized Visualization Support for Logic Programming. ICLP 1993: 844 - Didier Ladret, Michel Rueher:
Contribution of Logic Programming to Support Telecommunications Protocol Tests. ICLP 1993: 845-846 - 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. ICLP 1993: 847-848 - Leon J. Mekly, Marjorie Passini Yuhas:
A Logic Programming Approach to Requirements Modelling and Automated Test Generation. ICLP 1993: 849 - Michael Reviakin:
Logic Programming System Prolog-plus. ICLP 1993: 850 - Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland:
Status of the Aditi Deductive Database System. ICLP 1993: 851 - Imrich Weigl, Milan Fico, Svitoslav Molnár, Rudolf Fiby:
Istropolitan-a WAM Based Fuzzy Prolog. ICLP 1993: 852
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-12-19 22:17 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: