Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Lutz Plümer |
Termination Proofs for Logic Programs Based on Predicate Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 634-648, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Raymond Reiter |
What Should a Database Know? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 765, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Antonio Brogi |
AND-Parallelism without Shared Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 306-321, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Arthur L. Delcher, Simon Kasif |
Efficient Parallel Term Matching and Anti-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 355-369, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Haim Gaifman |
Semantics of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 779-782, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Oded Shmueli, Shalom Tsur |
Incremental Re-evaluation of LDL Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 99-111, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Manuel V. Hermenegildo, K. J. Greene |
&-Prolog and its Performance: Exploiting Independent And-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 253-268, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Dean Jacobs, Anno Langen, William H. Winsborough |
Multiple Specialization of Logic Programs with Run-Time Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 717-731, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Anne Mulkers, William H. Winsborough, Maurice Bruynooghe |
Analysis of Shared Data Structures for Compile-Time Garbage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 747-762, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Roberto Giacobazzi, Laura Ricci |
Pipeline Optimizations in AND-Parallel Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 291-305, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Kazunori Ueda, Masao Morita |
A New Implementation Technique for Flat GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 3-17, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Manuel V. Hermenegildo, Francesca Rossi 0001 |
Non-Strict Independent And-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 237-252, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | John P. Gallagher, Maurice Bruynooghe |
The Derivation of an Algorithm for Program Specialisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 732-746, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards |
On Warren's Method for Functional Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 546-560, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Moshe Y. Vardi |
Global Optimization Problems for Database Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 767-771, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli |
Generalized Stable Models, Truth Maintenance and Conflict Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 427-441, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jacques Chassin de Kergommeaux |
Parallel Logic Programming Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 785, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Andrew Taylor |
LIPS on a MIPS: Results from a Prolog Compiler for a RISC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 174-185, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | A. John Power, Leon Sterling |
A Notion of Map between Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 390-404, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | François Fages |
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 441-458, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt, Marc Bezem |
Acyclic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 617-633, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Vishv M. Malhotra |
An Algorithm for Optimal Back-Striding in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 147-158, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Catriel Beeri |
Logic Programming and Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 783, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jukka Paakki |
A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 203-217, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | T. J. Reynolds, Petros Kefalas |
OR-Parallel Prolog and Search Problems in AI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 340-354, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Frank Pfenning |
Types in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 786, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Luís Monteiro, António Porto |
A Transformational View of Inheritance in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 481-494, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Robert A. Kowalski, Fariba Sadri |
Logic Programs with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 598-613, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe |
Generation and Compilation of Efficient Computation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 700-714, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Kenji Nishida, Yasunori Kimura, Akira Matsumoto, Atsuhiro Goto |
Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 83-95, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | François Bry |
Intensional Updates: Abduction via Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 561-575, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | David Harel |
How Hard Is It to Reason about Propositional Programs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 772-773, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Andreoli, Remo Pareschi |
Linear Objects in a Logic Processes with Built-in Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 495-510, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | David H. D. Warren, Péter Szeredi (eds.) |
Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![MIT Press, 0-262-73090-1 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Laurent Fribourg |
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 685-699, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi |
A Logic Programming Approach to Specifying Logics and Constructing Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 405-424, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Kung-Kiu Lau, Steven D. Prestwich |
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 667-684, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Remo Pareschi, Dale Miller 0001 |
Extending Definite Clause Grammars with Scoping Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 373-389, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Extended Stable Semantics for Normal and Disjunctive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 459-477, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Ulrike Griefahn, Stefan Lüttringhaus |
Top-Down Integrity Constraint Checking for Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 130-144, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001 |
Higher-Order Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 784, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Alain Colmerauer |
Prolog III as it Actually Is. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 766, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, M. Porta, Giorgio Sofi |
Logic and Functional Programmin on Distributed Memory Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 325-339, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Seif Haridi, Sverker Janson |
Kernel Andorra Prolog and its Computation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 31-46, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Joshua S. Hodas, Dale Miller 0001 |
Representing Objects in a Logic Programming Langueage with Scoping Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 511-526, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Yeh-Heng Sheng |
HIFUNLOG : Logic Programming with Higher-order Relational Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 529-545, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Yu Inamura, Satoshi Onishi |
A Detection Algorithm of Perpetual Suspension in KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 18-30, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 649-663, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | David M. Meyer, John S. Conery |
Architected Failure Handling for AND-Parallel Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 271-290, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Luís Monteiro, António Porto |
Contextual Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 284-299, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001 |
Lexical Scoping as Universal Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 268-283, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Jorge Lobo 0001, Jack Minker, Arcot Rajasekar |
Extending the Semantics of Logic Programs to Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 255-267, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Hirohisa Seki |
Unfold/Fold Transformation of Stratified Programs. (long version: TCS 86(1): 107-139 (1991)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 554-568, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Francesca Rossi 0001, Shamim A. Naqvi |
Contributions to the View Update Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 398-415, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Lawrence Cavedon |
Continuity, Consistency, and Completeness Properties for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 571-584, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Alan Calderwood, Péter Szeredi |
Scheduling Or-parallelism in Aurora: The Manchester Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 419-435, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | José A. S. Alegria, Artur M. Dias, Luís Caires |
Towards Distributed Tools for Heterogeneous Logic Programming Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 505-520, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | H. Lewis Chau, Douglas Stott Parker Jr. |
Narrowing Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 199-217, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Lee Naish, Philip W. Dart, Justin Zobel |
The NU-Prolog Debugging Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 521-536, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe |
The Impact of Abstract Interpretation: An Experiment in Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 33-47, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop |
On the Safe Termination of PROLOG Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 353-368, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Alberto Pettorossi, Maurizio Proietti |
Decidability Results and Characterization of Strategies for the Development of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 539-553, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama |
Distributed Implementation of KL1 on the Multi-PSI/V2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 436-451, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Paris C. Kanellakis, Serge Abiteboul |
A Logical Database Query Language with Object Identity and Strong Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 675-692, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Evan Tick |
A Performance Comparison of AND- and OR-Parallel Logic Programming Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 452-467, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
A Metalogic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 218-233, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet |
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 63-79, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | V. Wiktor Marek, V. S. Subrahmanian |
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 600-617, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Andrew Taylor |
Removal of Dereferencing and Trailing in Prolog Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 48-60, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | José C. Cunha, Maria C. Ferreira, Luís Moniz Pereira |
Programming in Delta Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 487-502, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Andrea Asperti, Simone Martini 0001 |
Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 337-352, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Reem Bahgat, Steve Gregory |
Pandora: Non-deterministic Parallel Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 471-486, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
Semantic Models for a Version of PARLOG. (long version: TCS 86(1): 3-33 (1991)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 621-636, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso |
An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 318-333, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Kalyan Muthukumar, Manuel V. Hermenegildo |
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 80-97, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Kave Eshghi, Robert A. Kowalski |
Abduction Compared with Negation by Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 234-254, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Denis Lugiez |
A Deduction Procedure for First Order Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 585-599, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Rong Yang |
Solving Simple Substitution Ciphers in Andorra-I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 113-128, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray |
A Simple Code Improvement Scheme for Prolog. (long version: JLP 13: 57-88 (1992)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 17-32, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Antonio Brogi, Roberto Gorrieri |
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 637-652, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
Polymorphic High-Order Programming in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 382-397, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Non-Monotonic Formalisms and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 655-674, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello, Antonio Natali |
The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 303-317, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Clifford Walinsky |
CLP(Sigma*): Constraint Logic Programming with Regular Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 181-196, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Nachum Dershowitz, Naomi Lindenstrauss |
Average Time Analyses Related to Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 369-381, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson |
Constraint Hierarchies and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 149-164, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Henri Behringer, Franck Porcher |
A Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 131-148, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Pascal Van Hentenryck |
Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 165-180, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Helmut Simonis |
Test Generation using the Constraint Logic Programming Language CHIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 101-112, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Mats Carlsson |
On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 3-16, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Giorgio Levi, Maurizio Martelli (eds.) |
Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![MIT Press, 0-262-62065-0 The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto |
KL1 Execution Model for PIM Cluster with Shared Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 338-355, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Melissa Lam, Steve Gregory |
PARLOG and ALICE : A Marriage of Convenience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 294-310, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey |
CLP(R) and Some Electrical Engineering Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 675-703, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Richard Helm |
Inductive and Deductive Control of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 488-512, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Joxan Jaffar, Spiro Michaylov |
Methodology and Implementation of a CLP System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 196-218, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Laxmikant V. Kalé |
The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs. (long version: JLP 11: 55-84 (1991)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 616-632, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Shinichi Morishita, Masayuki Numao, Shin'ichi Hirose |
Symbolical Construction of Truth Value Domain for Logic Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 533-555, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Timothy G. Lindholm, Richard A. O'Keefe |
Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 21-39, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Justin Zobel |
Derivation of Polymorphic Types for PROLOG Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 817-838, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|