default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ICLP 1990: Jerusalem, Israel
- David H. D. Warren, Péter Szeredi:
Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990. MIT Press 1990, ISBN 0-262-73090-1
Concurrent Logic Languages
- Kazunori Ueda, Masao Morita:
A New Implementation Technique for Flat GHC. ICLP 1990: 3-17 - Yu Inamura, Satoshi Onishi:
A Detection Algorithm of Perpetual Suspension in KL1. ICLP 1990: 18-30 - Seif Haridi, Sverker Janson:
Kernel Andorra Prolog and its Computation Model. ICLP 1990: 31-46
Architectures
- Mark Korsloot, Hans M. Mulder:
Sequential Architecture Models for Prolog: A Performance Comparison. ICLP 1990: 49-67 - Arie Harsat, Ran Ginosar:
An Extended RISC Methodology and its Application to FCP. ICLP 1990: 67-82 - Kenji Nishida, Yasunori Kimura, Akira Matsumoto, Atsuhiro Goto:
Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures. ICLP 1990: 83-95
Logic Databases
- Oded Shmueli, Shalom Tsur:
Incremental Re-evaluation of LDL Queries. ICLP 1990: 99-111 - Oded Shmueli, Shalom Tsur:
Logical Diagnosis of LDL Programs. ICLP 1990: 112-129 - Ulrike Griefahn, Stefan Lüttringhaus:
Top-Down Integrity Constraint Checking for Deductive Databases. ICLP 1990: 130-144
Implementation
- Vishv M. Malhotra:
An Algorithm for Optimal Back-Striding in Prolog. ICLP 1990: 147-158 - Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima:
A Matching Tree Oriented Abstract Machine for Prolog. ICLP 1990: 159-173 - Andrew Taylor:
LIPS on a MIPS: Results from a Prolog Compiler for a RISC. ICLP 1990: 174-185
Constraints, Attribute Grammars
- Pascal Van Hentenryck:
Incremental Constraint Satisfaction in Logic Programming. ICLP 1990: 189-202 - Jukka Paakki:
A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing. ICLP 1990: 203-217
Independent And-Parallelism
- Kalyan Muthukumar, Manuel V. Hermenegildo:
The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. ICLP 1990: 221-236 - Manuel V. Hermenegildo, Francesca Rossi:
Non-Strict Independent And-Parallelism. ICLP 1990: 237-252 - Manuel V. Hermenegildo, K. J. Greene:
&-Prolog and its Performance: Exploiting Independent And-Parallelism. ICLP 1990: 253-268
And-Parallelism
- David M. Meyer, John S. Conery:
Architected Failure Handling for AND-Parallel Logic Programs. ICLP 1990: 271-290 - Roberto Giacobazzi, Laura Ricci:
Pipeline Optimizations in AND-Parallel Logic Programs. ICLP 1990: 291-305 - Antonio Brogi:
AND-Parallelism without Shared Variables. ICLP 1990: 306-321
Parallel Systems and Algorithms
- Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, Marisa Porta, Giorgio Sofi:
Logic and Functional Programming on Distributed Memory Architecture. ICLP 1990: 325-339 - T. J. Reynolds, Petros Kefalas:
OR-Parallel Prolog and Search Problems in AI Applications. ICLP 1990: 340-354 - Arthur L. Delcher, Simon Kasif:
Efficient Parallel Term Matching and Anti-Unification. ICLP 1990: 355-369
Grammars, Program Mappings, Proof Constructions
- Remo Pareschi, Dale Miller:
Extending Definite Clause Grammars with Scoping Constructs. ICLP 1990: 373-389 - A. John Power, Leon Sterling:
A Notion of Map between Logic Programs. ICLP 1990: 390-404 - Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi:
A Logic Programming Approach to Specifying Logics and Constructing Proofs. ICLP 1990: 405-424
Semantics
- Laura Giordano, Alberto Martelli:
Generalized Stable Models, Truth Maintenance and Conflict Resolution. ICLP 1990: 427-441 - François Fages:
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. ICLP 1990: 441-458 - Teodor C. Przymusinski:
Extended Stable Semantics for Normal and Disjunctive Programs. ICLP 1990: 459-477
Language Issues
- Luís Monteiro, António Porto:
A Transformational View of Inheritance in Logic Programming. ICLP 1990: 481-494 - Jean-Marc Andreoli, Remo Pareschi:
Linear Objects in a Logic Processes with Built-in Inheritance. ICLP 1990: 495-510 - Joshua S. Hodas, Dale Miller:
Representing Objects in a Logic Programming Langueage with Scoping Constructs. ICLP 1990: 511-526
Higher-Order Logic, Abduction
- Yeh-Heng Sheng:
HIFUNLOG : Logic Programming with Higher-order Relational Functions. ICLP 1990: 529-545 - Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards:
On Warren's Method for Functional Programming in Logic. ICLP 1990: 546-560 - François Bry:
Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575
Negation
- Michael Gelfond, Vladimir Lifschitz:
Logic Programs with Classical Negation. ICLP 1990: 579-597 - Robert A. Kowalski, Fariba Sadri:
Logic Programs with Exceptions. ICLP 1990: 598-613
Program Termination
- Krzysztof R. Apt, Marc Bezem:
Acyclic Programs. ICLP 1990: 617-633 - Lutz Plümer:
Termination Proofs for Logic Programs Based on Predicate Inequalities. ICLP 1990: 634-648 - Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe:
A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs. ICLP 1990: 649-663
Program Synthesis and Optimization
- Kung-Kiu Lau, Steven D. Prestwich:
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. ICLP 1990: 667-684 - Laurent Fribourg:
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. ICLP 1990: 685-699 - Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe:
Generation and Compilation of Efficient Computation Rules. ICLP 1990: 700-714
Program Analysis and Transformation
- Dean Jacobs, Anno Langen, William H. Winsborough:
Multiple Specialization of Logic Programs with Run-Time Test. ICLP 1990: 717-731 - John P. Gallagher, Maurice Bruynooghe:
The Derivation of an Algorithm for Program Specialisation. ICLP 1990: 732-746 - Anne Mulkers, William H. Winsborough, Maurice Bruynooghe:
Analysis of Shared Data Structures for Compile-Time Garbage. ICLP 1990: 747-762
Abstracts of Invited Lectures
- Raymond Reiter:
What Should a Database Know? ICLP 1990: 765 - Alain Colmerauer:
Prolog III as it Actually Is. ICLP 1990: 766 - Moshe Y. Vardi:
Global Optimization Problems for Database Logic Programs. ICLP 1990: 767-771 - David Harel:
How Hard Is It to Reason about Propositional Programs? ICLP 1990: 772-773
Abstracts of Advanced Tutorials
- Vijay A. Saraswat:
The Paradigm of Concurrent Constraint Programming. ICLP 1990: 777-778 - Haim Gaifman:
Semantics of Logic Programs. ICLP 1990: 779-782 - Catriel Beeri:
Logic Programming and Databases. ICLP 1990: 783 - Dale Miller:
Higher-Order Logic Programming. ICLP 1990: 784 - Jacques Chassin de Kergommeaux:
Parallel Logic Programming Systems. ICLP 1990: 785 - Frank Pfenning:
Types in Logic Programming. ICLP 1990: 786
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 2026-04-25 00:24 CEST 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:
