default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th ICLP / SLP 1988: Seattle, Washington
- Robert A. Kowalski, Kenneth A. Bowen:
Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes). MIT Press 1988, ISBN 0-262-61056-6
Applications
- Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso:
Exploiting the Full Power of Logic Plus Functional Programming. ICLP/SLP 1988: 3-17 - Carl McCrosky, Anthony J. Kusalik:
Improving First-Class Array Expressions Using Prolog. ICLP/SLP 1988: 18-25 - Toramatsu Shintani:
A Fast Prolog-Based Production System KORE/IE. ICLP/SLP 1988: 26-41 - Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP 1988: 42-58 - Tien Huynh, Catherine Lassez:
A CLP(R) Options Trading Analysis System. ICLP/SLP 1988: 59-69 - Peter B. Reintjes:
A VLSI Design Environment in PROLOG. ICLP/SLP 1988: 70-81 - Thomas W. G. Docker:
SAME - A Structured Analysis Tool and its Implementation in Prolog. ICLP/SLP 1988: 82-95 - Kevin Steer:
Testing Data Flow Diagrams with PARLOG. ICLP/SLP 1988: 96-110
Constructive Negation
- David Chan:
Constructive Negation Based on the Completed Database. ICLP/SLP 1988: 111-125 - Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker:
Deduced Relevant Types and Constructive Negation. ICLP/SLP 1988: 126-139
Databases
- Raghu Ramakrishnan:
Magic Templates: A Spellbinding Approach to Logic Programs. ICLP/SLP 1988: 140-159 - I. Attila, Paul Franchi-Zannettacci:
Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation. ICLP/SLP 1988: 160-177 - David B. Kemp, Rodney W. Topor:
Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. ICLP/SLP 1988: 178-194 - Hirohisa Seki, Hidenori Itoh:
A Query Evaluation Method for Stratified Programs Under the Extended CWA. ICLP/SLP 1988: 195-211
Grammar and Parsing
- Rajiv Trehan, Paul F. Wilk:
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages. ICLP/SLP 1988: 212-232 - Harvey Abramson:
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. ICLP/SLP 1988: 233-248 - Verónica Dahl:
Representing Linguistic Knowledge through Logic Programming. ICLP/SLP 1988: 249-262 - Lynette Hirschman, William C. Hopkins, Robert C. Smith:
OR-Parallel Speed-Up in Natural Language Processing: A Case Study. ICLP/SLP 1988: 263-279
Logic and Functional Programming
- Jean H. Gallier, Tomás Isakowitz:
Rewriting in Order-sorted Equational Logic. ICLP/SLP 1988: 280-294 - Joseph L. Zachary:
A Pragmatic Approach to Equational Logic Programming. ICLP/SLP 1988: 295-310 - Staffan Bonnier, Jan Maluszynski:
Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP 1988: 311-326 - Steffen Hölldobler:
From Paramodulation to Narrowing. ICLP/SLP 1988: 327-342
Meta-Programming
- A. Bruffaerts, E. Henin:
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. ICLP/SLP 1988: 343-358 - Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre:
Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. ICLP/SLP 1988: 359-373 - Chor Sang Kwok, Marek J. Sergot:
Implicit Definition of Logic Programs. ICLP/SLP 1988: 374-385 - Leon Sterling, Arun Lakhotia:
Composing Prolog Meta-Interpreters. ICLP/SLP 1988: 386-403
Objects
- Weidong Chen, David Scott Warren:
Objects as Intensions. ICLP/SLP 1988: 404-419 - John S. Conery:
Logical Objects. ICLP/SLP 1988: 420-434
Problem-Solving and Novel Techniques
- Jonas Barklund, Nils Hagner, Malik Wafin:
Condition Graphs. ICLP/SLP 1988: 435-446 - Christian Codognet, Philippe Codognet, Gilberto Filé:
Yet Another Intelligent Backtracking Method. ICLP/SLP 1988: 447-465 - Sei-Ichi Kondoh, Takashi Chikayama:
Macro Processing in Prolog. ICLP/SLP 1988: 466-480
Programming Environments
- Luís Moniz Pereira, Miguel Calejo:
A Framework for Prolog Debugging. ICLP/SLP 1988: 481-495 - Dave Plummer:
Coda: An Extended Debugger for PROLOG. ICLP/SLP 1988: 496-511 - Yossi Lichtenstein, Ehud Shapiro:
Abstract Algorithmic Debugging. ICLP/SLP 1988: 512-531 - Mike Brayshaw, Marc Eisenstadt:
Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM. ICLP/SLP 1988: 532-547 - Michael M. Gorlick, Carl Kesselman:
Gauge: A Workbench for the Performance Analysis of Logic Programs. ICLP/SLP 1988: 548-561
Temporal Reasoning
- Kave Eshghi:
Abductive Planning with Event Calculus. ICLP/SLP 1988: 562-579
Types
- Paul J. Voda:
Types of Trilogy. ICLP/SLP 1988: 580-589 - Maarten H. van Emden:
Conditional Answers for Polymorphic Type Inference. ICLP/SLP 1988: 590-603 - Jiyang Xu, David Scott Warren:
A Type Inference System for Prolog. ICLP/SLP 1988: 604-619
Unification and Constraints
- Douglas Stott Parker Jr., Richard R. Muntz:
A Theory of Directed Logic Programs and Streams. ICLP/SLP 1988: 620-650 - Graeme S. Port:
A Simple Approach to Finding the Cause of Non-Unifiability. ICLP/SLP 1988: 651-665
Abstract Interpretation and Data Dependency
- Maurice Bruynooghe, Gerda Janssens:
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. ICLP/SLP 1988: 669-683 - Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray:
On the Practicality of Global Flow Analysis of Logic Programs. ICLP/SLP 1988: 684-699 - Annika Wærn:
An Implementation Technique for the Abstract Interpretation of Prolog. ICLP/SLP 1988: 700-710 - Saumya K. Debray:
Static Analysis of Parallel Logic Programs. ICLP/SLP 1988: 711-732 - Kim Marriott, Harald Søndergaard:
Bottom-up Abstract Interpretation of Logic Programs. ICLP/SLP 1988: 733-748 - William H. Winsborough, Annika Wærn:
Transparent And-Parallelism in the Presence of Shared Free Variables. ICLP/SLP 1988: 749-764
Complexity
- Krzysztof R. Apt, Howard A. Blair:
Arithmetic Classification of Perfect Models of Stratified Programs. ICLP/SLP 1988: 765-779 - S. Kaplan:
Algorithmic Complexity of Logic Programs. ICLP/SLP 1988: 780-793
Extensions and Variations of LP
- Bruce T. Smith, Donald W. Loveland:
A Simple Near-Horn Prolog Interpreter. ICLP/SLP 1988: 794-809 - Gopalan Nadathur, Dale Miller:
An Overview of Lambda-PROLOG. ICLP/SLP 1988: 810-827 - Jorge Lobo, Jack Minker, Arcot Rajasekar:
Weak Completion Theory for Non-Horn Programs. ICLP/SLP 1988: 828-842 - Bharat Jayaraman, Anil Nair:
Subset-Logic Programming: Application and Implementation. ICLP/SLP 1988: 843-858
Miscellaneous Theory
- M. A. Nait Abdallah:
Heuristic Logic and the Process of Discovery. ICLP/SLP 1988: 859-875
Reasoning about Programs
- Charles Elkan, David A. McAllester:
Automated Inductive Reasoning about Logic Programs. ICLP/SLP 1988: 876-892 - Laurent Fribourg:
Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs. ICLP/SLP 1988: 893-908 - Kim Marriott, Lee Naish, Jean-Louis Lassez:
Most Specific Logic Programs. ICLP/SLP 1988: 909-923 - Hiroshi Fujita, Akira Okumura, Koichi Furukawa:
Partial Evaluation of GHC Programs Based on the UR-set with Constraints. ICLP/SLP 1988: 924-941 - John Hannan, Dale Miller:
Uses of Higher-Order Unification for Implementing Program Transformers. ICLP/SLP 1988: 942-959
Semantic Issues
- Aïda Batarekh, V. S. Subrahmanian:
Semantical Equivalences of (Non-Classical) Logic Programs. ICLP/SLP 1988: 960-977 - Kenneth Kunen:
Some Remarks on the Completed Database. ICLP/SLP 1988: 978-992 - Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
A New Declarative Semantics for Logic Languages. ICLP/SLP 1988: 993-1005 - Paolo Mancarella, Dino Pedreschi:
An Algebra of Logic Programs. ICLP/SLP 1988: 1006-1023 - Stan Raatz, Jean H. Gallier:
A Relational Semantics for Logic Programming. ICLP/SLP 1988: 1024-1035 - V. S. Subrahmanian:
Intuitive Semantics for Quantitative Rule Sets. ICLP/SLP 1988: 1036-1053
Semantics of Negation
- Melvin Fitting, Marion Ben-Jacob:
Stratified and Three-valued Logic Programming Semantics. ICLP/SLP 1988: 1054-1069 - Michael Gelfond, Vladimir Lifschitz:
The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 - Teodor C. Przymusinski:
Perfect Model Semantics. ICLP/SLP 1988: 1081-1096 - Yves Moinard:
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). ICLP/SLP 1988: 1097-1105 - Halina Przymusinska, Teodor C. Przymusinski:
Weakly Perfect Model Semantics for Logic Programs. ICLP/SLP 1988: 1106-1120
AND-Parallelism
- Yow-Jian Lin, Vipin Kumar:
AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results. ICLP/SLP 1988: 1123-1141 - Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani:
A Stream AND-Parallel Execution Algorithm with Backtracking. ICLP/SLP 1988: 1142-1159
AND/OR-Parallelism
- Prasenjit Biswas, Shyh-Chang Su, David Y. Y. Yun:
A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs. ICLP/SLP 1988: 1160-1179 - Kam-Wing Ng, Ho-fung Leung:
The Competition Model for Parallel Execution of Logic Programs. ICLP/SLP 1988: 1180-1187 - Prabhakaran Raman, Eugene W. Stark:
Fully Distributed, AND/OR-Parallel Execution of Logic Problems. ICLP/SLP 1988: 1188-1203 - Chien-Chao Tseng, Prasenjit Biswas:
A Data-Driven Parallel Execution Model for Logic Programs. ICLP/SLP 1988: 1204-1222 - Laxmikant V. Kalé, R. Ramkumar, Wei Wennie Shu:
A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs. ICLP/SLP 1988: 1223-1240
Concurrent Systems
- Atsuhiro Goto, Yasunori Kimura, T. Nakagawa, Takashi Chikayama:
Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines. ICLP/SLP 1988: 1241-1256 - Hamish Taylor:
Localizing the GHC Suspension Test. ICLP/SLP 1988: 1257-1271 - Handong Wu:
An Extended Dataflow Model of FGHC. ICLP/SLP 1988: 1272-1276 - Leon Alkalaj, Ehud Shapiro:
An Architectural Model for a Flat Concurrent Prolog Processor. ICLP/SLP 1988: 1277-1297 - Vijay A. Saraswat:
A Somewhat Logical Formulation of CLP Synchronisation Primitives. ICLP/SLP 1988: 1298-1314 - Shmuel Kliger, Ehud Shapiro:
A Decision Tree Compilation Algorithm for FCP(!, : , ?). ICLP/SLP 1988: 1315-1336 - Martin Nilsson, Hidehiko Tanaka:
A Flat GHC Implementation for Supercomputers. ICLP/SLP 1988: 1337-1350 - Sven-Olof Nyström:
Control Structures for Guarded Horn Clauses. ICLP/SLP 1988: 1351-1370
Implementation
- Hamid Bacha:
Meta Prolog Design and Implementation. ICLP/SLP 1988: 1371-1387 - Gerda Janssens, Bart Demoen, André Mariën:
Improving the Register Allocation of WAM by Recording Unification. ICLP/SLP 1988: 1388-1402 - Jonathan Wayne Mills, Kevin A. Buettner:
Assertive Demons. ICLP/SLP 1988: 1403-1414 - D. A. Chu, F. G. McCabe:
SWIFT: A New Symbolic Processor. ICLP/SLP 1988: 1415-1427 - Subash Shankar:
A Hierarchical Associative Memory Architecture for Logic Programming Unification. ICLP/SLP 1988: 1428-1447 - Charles D. Stormon, Mark R. Brule, John V. Oldfield, D. F. Ribeiro:
An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog. ICLP/SLP 1988: 1448-1473 - David Hemmendinger:
A Compiler and Semantic Analyzer Based on Categorial Grammar. ICLP/SLP 1988: 1474-1489 - Feliks Kluzniak:
Compile Time Garbage Collection for Ground Prolog. ICLP/SLP 1988: 1490-1505 - Ken-ichi Kurosawa, S. Yamaguchi, Shigeo Abe, Tadaaki Bandoh:
Instruction Architecture for a High Performance Integrated Prolog Processor IPP. ICLP/SLP 1988: 1506-1530
Or-Parallelism and Parallel Prolog
- Khayri A. M. Ali:
OR-Parallel Execution of Prolog on BC-Machine. ICLP/SLP 1988: 1531-1545 - Lee Naish:
Parallelizing NU-Prolog. ICLP/SLP 1988: 1546-1564 - Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek:
A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. ICLP/SLP 1988: 1565-1577 - Hiyan Alshawi, Douglas B. Moran:
The Delphi Model and Some Preliminary Experiments. ICLP/SLP 1988: 1578-1589 - Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens:
Scheduling OR-Parallelism: An Argonne Perspective. ICLP/SLP 1988: 1590-1605
Invited Talks
- Layman E. Allen, Charles S. Saxon:
Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? ICLP/SLP 1988: 1609-1623 - Alan Bundy:
A Broader Interpretation of Logic in Logic Programming. ICLP/SLP 1988: 1624-1648 - Giorgio Levi:
Models, Unfolding Rules and Fixpoint Semantics. ICLP/SLP 1988: 1649-1665 - Carlo Zaniolo:
Design and Implementation of a Logic Based Language for Data Intensive Applications. ICLP/SLP 1988: 1666-1687
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 2025-11-08 00:55 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:
