|
|
Conferences in DBLP
- Mats Carlsson
On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:3-16 [Conf]
- Saumya K. Debray
A Simple Code Improvement Scheme for Prolog. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:17-32 [Conf]
- André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe
The Impact of Abstract Interpretation: An Experiment in Code Generation. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:33-47 [Conf]
- Andrew Taylor
Removal of Dereferencing and Trailing in Prolog Compilation. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:48-60 [Conf]
- Christian Codognet, Philippe Codognet
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:63-79 [Conf]
- Kalyan Muthukumar, Manuel V. Hermenegildo
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:80-97 [Conf]
- Helmut Simonis
Test Generation using the Constraint Logic Programming Language CHIP. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:101-112 [Conf]
- Rong Yang
Solving Simple Substitution Ciphers in Andorra-I. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:113-128 [Conf]
- Henri Behringer, Franck Porcher
A Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory). [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:131-148 [Conf]
- Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson
Constraint Hierarchies and Logic Programming. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:149-164 [Conf]
- Pascal Van Hentenryck
Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:165-180 [Conf]
- Clifford Walinsky
CLP(Sigma*): Constraint Logic Programming with Regular Sets. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:181-196 [Conf]
- H. Lewis Chau, Douglas Stott Parker Jr.
Narrowing Grammars. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:199-217 [Conf]
- Stefania Costantini, Gaetano Aurelio Lanzarone
A Metalogic Programming Language. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:218-233 [Conf]
- Kave Eshghi, Robert A. Kowalski
Abduction Compared with Negation by Failure. [Citation Graph (4, 0)][DBLP]
ICLP, 1989, pp:234-254 [Conf]
- Jorge Lobo, Jack Minker, Arcot Rajasekar
Extending the Semantics of Logic Programs to Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:255-267 [Conf]
- Dale Miller
Lexical Scoping as Universal Quantification. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:268-283 [Conf]
- Luís Monteiro, António Porto
Contextual Logic Programming. [Citation Graph (2, 0)][DBLP]
ICLP, 1989, pp:284-299 [Conf]
- Evelina Lamma, Paola Mello, Antonio Natali
The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:303-317 [Conf]
- Pier Giorgio Bosco, C. Cecchi, Corrado Moiso
An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:318-333 [Conf]
- Andrea Asperti, Simone Martini
Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:337-352 [Conf]
- Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop
On the Safe Termination of PROLOG Programs. [Citation Graph (1, 0)][DBLP]
ICLP, 1989, pp:353-368 [Conf]
- Nachum Dershowitz, Naomi Lindenstrauss
Average Time Analyses Related to Logic Programming. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:369-381 [Conf]
- Michael Hanus
Polymorphic High-Order Programming in Prolog. [Citation Graph (1, 0)][DBLP]
ICLP, 1989, pp:382-397 [Conf]
- Francesca Rossi, Shamim A. Naqvi
Contributions to the View Update Problem. [Citation Graph (8, 0)][DBLP]
ICLP, 1989, pp:398-415 [Conf]
- Alan Calderwood, Péter Szeredi
Scheduling Or-parallelism in Aurora: The Manchester Scheduler. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:419-435 [Conf]
- Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama
Distributed Implementation of KL1 on the Multi-PSI/V2. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:436-451 [Conf]
- Evan Tick
A Performance Comparison of AND- and OR-Parallel Logic Programming Architectures. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:452-467 [Conf]
- Reem Bahgat, Steve Gregory
Pandora: Non-deterministic Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:471-486 [Conf]
- José C. Cunha, Maria C. Ferreira, Luís Moniz Pereira
Programming in Delta Prolog. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:487-502 [Conf]
- José A. S. Alegria, Artur M. Dias, Luís Caires
Towards Distributed Tools for Heterogeneous Logic Programming Environments. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:505-520 [Conf]
- Lee Naish, Philip W. Dart, Justin Zobel
The NU-Prolog Debugging Environment. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:521-536 [Conf]
- Alberto Pettorossi, Maurizio Proietti
Decidability Results and Characterization of Strategies for the Development of Logic Programs. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:539-553 [Conf]
- Hirohisa Seki
Unfold/Fold Transformation of Stratified Programs. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:554-568 [Conf]
- Lawrence Cavedon
Continuity, Consistency, and Completeness Properties for Logic Programs. [Citation Graph (2, 0)][DBLP]
ICLP, 1989, pp:571-584 [Conf]
- Denis Lugiez
A Deduction Procedure for First Order Programs. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:585-599 [Conf]
- V. Wiktor Marek, V. S. Subrahmanian
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. [Citation Graph (3, 0)][DBLP]
ICLP, 1989, pp:600-617 [Conf]
- Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
Semantic Models for a Version of PARLOG. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:621-636 [Conf]
- Antonio Brogi, Roberto Gorrieri
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:637-652 [Conf]
- Teodor C. Przymusinski
Non-Monotonic Formalisms and Logic Programming. [Citation Graph (2, 0)][DBLP]
ICLP, 1989, pp:655-674 [Conf]
- Paris C. Kanellakis, Serge Abiteboul
A Logical Database Query Language with Object Identity and Strong Typing. [Citation Graph (0, 0)][DBLP]
ICLP, 1989, pp:675-692 [Conf]
|
