Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Lutz Plümer |
Termination Proofs for Logic Programs Based on Predicate Inequalities. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Raymond Reiter |
What Should a Database Know? |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Antonio Brogi |
AND-Parallelism without Shared Variables. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Arthur L. Delcher, Simon Kasif |
Efficient Parallel Term Matching and Anti-Unification. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Haim Gaifman |
Semantics of Logic Programs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Oded Shmueli, Shalom Tsur |
Incremental Re-evaluation of LDL Queries. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Manuel V. Hermenegildo, K. J. Greene |
&-Prolog and its Performance: Exploiting Independent And-Parallelism. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Dean Jacobs, Anno Langen, William H. Winsborough |
Multiple Specialization of Logic Programs with Run-Time Test. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Anne Mulkers, William H. Winsborough, Maurice Bruynooghe |
Analysis of Shared Data Structures for Compile-Time Garbage. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Roberto Giacobazzi, Laura Ricci |
Pipeline Optimizations in AND-Parallel Logic Programs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Kazunori Ueda, Masao Morita |
A New Implementation Technique for Flat GHC. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Manuel V. Hermenegildo, Francesca Rossi 0001 |
Non-Strict Independent And-Parallelism. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | John P. Gallagher, Maurice Bruynooghe |
The Derivation of an Algorithm for Program Specialisation. |
ICLP |
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. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Moshe Y. Vardi |
Global Optimization Problems for Database Logic Programs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli |
Generalized Stable Models, Truth Maintenance and Conflict Resolution. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Jacques Chassin de Kergommeaux |
Parallel Logic Programming Systems. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Andrew Taylor |
LIPS on a MIPS: Results from a Prolog Compiler for a RISC. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | A. John Power, Leon Sterling |
A Notion of Map between Logic Programs. |
ICLP |
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. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt, Marc Bezem |
Acyclic Programs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Vishv M. Malhotra |
An Algorithm for Optimal Back-Striding in Prolog. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Catriel Beeri |
Logic Programming and Databases. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Jukka Paakki |
A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | T. J. Reynolds, Petros Kefalas |
OR-Parallel Prolog and Search Problems in AI Applications. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Frank Pfenning |
Types in Logic Programming. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Luís Monteiro, António Porto |
A Transformational View of Inheritance in Logic Programming. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Robert A. Kowalski, Fariba Sadri |
Logic Programs with Exceptions. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe |
Generation and Compilation of Efficient Computation Rules. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Kenji Nishida, Yasunori Kimura, Akira Matsumoto, Atsuhiro Goto |
Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | François Bry |
Intensional Updates: Abduction via Deduction. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | David Harel |
How Hard Is It to Reason about Propositional Programs? |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Andreoli, Remo Pareschi |
Linear Objects in a Logic Processes with Built-in Inheritance. |
ICLP |
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 |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Laurent Fribourg |
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi |
A Logic Programming Approach to Specifying Logics and Constructing Proofs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Kung-Kiu Lau, Steven D. Prestwich |
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Remo Pareschi, Dale Miller 0001 |
Extending Definite Clause Grammars with Scoping Constructs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Extended Stable Semantics for Normal and Disjunctive Programs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Ulrike Griefahn, Stefan Lüttringhaus |
Top-Down Integrity Constraint Checking for Deductive Databases. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001 |
Higher-Order Logic Programming. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Alain Colmerauer |
Prolog III as it Actually Is. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, M. Porta, Giorgio Sofi |
Logic and Functional Programmin on Distributed Memory Architectures. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Seif Haridi, Sverker Janson |
Kernel Andorra Prolog and its Computation Model. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Joshua S. Hodas, Dale Miller 0001 |
Representing Objects in a Logic Programming Langueage with Scoping Constructs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Yeh-Heng Sheng |
HIFUNLOG : Logic Programming with Higher-order Relational Functions. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Yu Inamura, Satoshi Onishi |
A Detection Algorithm of Perpetual Suspension in KL1. |
ICLP |
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. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | David M. Meyer, John S. Conery |
Architected Failure Handling for AND-Parallel Logic Programs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Luís Monteiro, António Porto |
Contextual Logic Programming. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001 |
Lexical Scoping as Universal Quantification. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Jorge Lobo 0001, Jack Minker, Arcot Rajasekar |
Extending the Semantics of Logic Programs to Disjunctive Logic Programs. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Hirohisa Seki |
Unfold/Fold Transformation of Stratified Programs. (long version: TCS 86(1): 107-139 (1991)) |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Francesca Rossi 0001, Shamim A. Naqvi |
Contributions to the View Update Problem. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Lawrence Cavedon |
Continuity, Consistency, and Completeness Properties for Logic Programs. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Alan Calderwood, Péter Szeredi |
Scheduling Or-parallelism in Aurora: The Manchester Scheduler. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | José A. S. Alegria, Artur M. Dias, Luís Caires |
Towards Distributed Tools for Heterogeneous Logic Programming Environments. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | H. Lewis Chau, Douglas Stott Parker Jr. |
Narrowing Grammars. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Lee Naish, Philip W. Dart, Justin Zobel |
The NU-Prolog Debugging Environment. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe |
The Impact of Abstract Interpretation: An Experiment in Code Generation. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop |
On the Safe Termination of PROLOG Programs. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Alberto Pettorossi, Maurizio Proietti |
Decidability Results and Characterization of Strategies for the Development of Logic Programs. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama |
Distributed Implementation of KL1 on the Multi-PSI/V2. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Paris C. Kanellakis, Serge Abiteboul |
A Logical Database Query Language with Object Identity and Strong Typing. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Evan Tick |
A Performance Comparison of AND- and OR-Parallel Logic Programming Architectures. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
A Metalogic Programming Language. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet |
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | V. Wiktor Marek, V. S. Subrahmanian |
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Andrew Taylor |
Removal of Dereferencing and Trailing in Prolog Compilation. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | José C. Cunha, Maria C. Ferreira, Luís Moniz Pereira |
Programming in Delta Prolog. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Andrea Asperti, Simone Martini 0001 |
Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Reem Bahgat, Steve Gregory |
Pandora: Non-deterministic Parallel Logic Programming. |
ICLP |
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)) |
ICLP |
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. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Kalyan Muthukumar, Manuel V. Hermenegildo |
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Kave Eshghi, Robert A. Kowalski |
Abduction Compared with Negation by Failure. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Denis Lugiez |
A Deduction Procedure for First Order Programs. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Rong Yang |
Solving Simple Substitution Ciphers in Andorra-I. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray |
A Simple Code Improvement Scheme for Prolog. (long version: JLP 13: 57-88 (1992)) |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Antonio Brogi, Roberto Gorrieri |
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
Polymorphic High-Order Programming in Prolog. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Non-Monotonic Formalisms and Logic Programming. |
ICLP |
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. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Clifford Walinsky |
CLP(Sigma*): Constraint Logic Programming with Regular Sets. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Nachum Dershowitz, Naomi Lindenstrauss |
Average Time Analyses Related to Logic Programming. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson |
Constraint Hierarchies and Logic Programming. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Henri Behringer, Franck Porcher |
A Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory). |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Pascal Van Hentenryck |
Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Helmut Simonis |
Test Generation using the Constraint Logic Programming Language CHIP. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Mats Carlsson |
On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Giorgio Levi, Maurizio Martelli (eds.) |
Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989 |
ICLP |
1989 |
DBLP BibTeX RDF |
|
1 | Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto |
KL1 Execution Model for PIM Cluster with Shared Memory. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
1 | Melissa Lam, Steve Gregory |
PARLOG and ALICE : A Marriage of Convenience. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
1 | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey |
CLP(R) and Some Electrical Engineering Problems. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
1 | Richard Helm |
Inductive and Deductive Control of Logic Programs. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
1 | Joxan Jaffar, Spiro Michaylov |
Methodology and Implementation of a CLP System. |
ICLP |
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)) |
ICLP |
1987 |
DBLP BibTeX RDF |
|
1 | Shinichi Morishita, Masayuki Numao, Shin'ichi Hirose |
Symbolical Construction of Truth Value Domain for Logic Program. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
1 | Timothy G. Lindholm, Richard A. O'Keefe |
Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
1 | Justin Zobel |
Derivation of Polymorphic Types for PROLOG Programs. |
ICLP |
1987 |
DBLP BibTeX RDF |
|