Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi |
A New Declarative Semantics for Logic Languages. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | D. A. Chu, F. G. McCabe |
SWIFT: A New Symbolic Processor. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Kim Marriott, Lee Naish, Jean-Louis Lassez |
Most Specific Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Harvey Abramson |
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Khayri A. M. Ali |
OR-Parallel Execution of Prolog on BC-Machine. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Kenneth Kunen |
Some Remarks on the Completed Database. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Jean H. Gallier, Tomás Isakowitz |
Rewriting in Order-sorted Equational Logic. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Leon Sterling, Arun Lakhotia |
Composing Prolog Meta-Interpreters. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | A. Bruffaerts, E. Henin |
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | John S. Conery |
Logical Objects. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Sei-Ichi Kondoh, Takashi Chikayama |
Macro Processing in Prolog. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Kam-Wing Ng, Ho-fung Leung |
The Competition Model for Parallel Execution of Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Giorgio Levi |
Models, Unfolding Rules and Fixpoint Semantics. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Mike Brayshaw, Marc Eisenstadt |
Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Carl McCrosky, Anthony J. Kusalik |
Improving First-Class Array Expressions Using Prolog. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Jonas Barklund, Nils Hagner, Malik Wafin |
Condition Graphs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Lee Naish |
Parallelizing NU-Prolog. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Laurent Fribourg |
Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Subash Shankar |
A Hierarchical Associative Memory Architecture for Logic Programming Unification. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck |
Solving a Cutting-Stock Problem in Constraint Logic Programming. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Kim Marriott, Harald Søndergaard |
Bottom-up Abstract Interpretation of Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray |
Static Analysis of Parallel Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Steffen Hölldobler |
From Paramodulation to Narrowing. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | David Chan |
Constructive Negation Based on the Completed Database. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | William H. Winsborough, Annika Wærn |
Transparent And-Parallelism in the Presence of Shared Free Variables. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Kave Eshghi |
Abductive Planning with Event Calculus. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Maarten H. van Emden |
Conditional Answers for Polymorphic Type Inference. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | David B. Kemp, Rodney W. Topor |
Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Joseph L. Zachary |
A Pragmatic Approach to Equational Logic Programming. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Charles Elkan, David A. McAllester |
Automated Inductive Reasoning about Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Hamish Taylor |
Localizing the GHC Suspension Test. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Bharat Jayaraman, Anil Nair |
Subset-Logic Programming: Application and Implementation. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Handong Wu |
An Extended Dataflow Model of FGHC. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Chor Sang Kwok, Marek J. Sergot |
Implicit Definition of Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Rajiv Trehan, Paul F. Wilk |
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Hirohisa Seki, Hidenori Itoh |
A Query Evaluation Method for Stratified Programs Under the Extended CWA. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Tien Huynh, Catherine Lassez |
A CLP(R) Options Trading Analysis System. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Kevin Steer |
Testing Data Flow Diagrams with PARLOG. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | John Hannan, Dale Miller 0001 |
Uses of Higher-Order Unification for Implementing Program Transformers. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Annika Wærn |
An Implementation Technique for the Abstract Interpretation of Prolog. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | David Hemmendinger |
A Compiler and Semantic Analyzer Based on Categorial Grammar. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Hiroshi Fujita, Akira Okumura, Koichi Furukawa |
Partial Evaluation of GHC Programs Based on the UR-set with Constraints. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Peter B. Reintjes |
A VLSI Design Environment in PROLOG. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Michael Gelfond, Vladimir Lifschitz |
The Stable Model Semantics for Logic Programming. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Halina Przymusinska, Teodor C. Przymusinski |
Weakly Perfect Model Semantics for Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Yossi Lichtenstein, Ehud Shapiro |
Abstract Algorithmic Debugging. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Aïda Batarekh, V. S. Subrahmanian |
Semantical Equivalences of (Non-Classical) Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens |
Scheduling OR-Parallelism: An Argonne Perspective. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Melvin Fitting, Marion Ben-Jacob |
Stratified and Three-valued Logic Programming Semantics. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Martin Nilsson 0001, Hidehiko Tanaka |
A Flat GHC Implementation for Supercomputers. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Bruce T. Smith, Donald W. Loveland |
A Simple Near-Horn Prolog Interpreter. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Hamid Bacha |
Meta Prolog Design and Implementation. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Yves Moinard |
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Gerda Janssens, Bart Demoen, André Mariën |
Improving the Register Allocation of WAM by Recording Unification. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Douglas Stott Parker Jr., Richard R. Muntz |
A Theory of Directed Logic Programs and Streams. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Prabhakaran Raman, Eugene W. Stark |
Fully Distributed, AND/OR-Parallel Execution of Logic Problems. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Atsuhiro Goto, Yasunori Kimura, T. Nakagawa, Takashi Chikayama |
Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker |
Deduced Relevant Types and Constructive Negation. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Paolo Mancarella, Dino Pedreschi |
An Algebra of Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Paul J. Voda |
Types of Trilogy. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso |
Exploiting the Full Power of Logic Plus Functional Programming. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | S. Kaplan |
Algorithmic Complexity of Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Ken-ichi Kurosawa, S. Yamaguchi, Shigeo Abe, Tadaaki Bandoh |
Instruction Architecture for a High Performance Integrated Prolog Processor IPP. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray |
On the Practicality of Global Flow Analysis of Logic Programs. (long version: JLP 13: 349-366 (1992)) |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Luís Moniz Pereira, Miguel Calejo |
A Framework for Prolog Debugging. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Carlo Zaniolo |
Design and Implementation of a Logic Based Language for Data Intensive Applications. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet, Gilberto Filé |
Yet Another Intelligent Backtracking Method. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | I. Attila, Paul Franchi-Zannettacci |
Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Verónica Dahl |
Representing Linguistic Knowledge through Logic Programming. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Alan Bundy |
A Broader Interpretation of Logic in Logic Programming. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Jonathan Wayne Mills, Kevin A. Buettner |
Assertive Demons. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | M. A. Nait Abdallah |
Heuristic Logic and the Process of Discovery. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | V. S. Subrahmanian |
Intuitive Semantics for Quantitative Rule Sets. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Weidong Chen 0005, David Scott Warren |
Objects as Intensions. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Jorge Lobo 0001, Jack Minker, Arcot Rajasekar |
Weak Completion Theory for Non-Horn Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Graeme S. Port |
A Simple Approach to Finding the Cause of Non-Unifiability. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Perfect Model Semantics. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Vijay A. Saraswat |
A Somewhat Logical Formulation of CLP Synchronisation Primitives. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Toramatsu Shintani |
A Fast Prolog-Based Production System KORE/IE. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Feliks Kluzniak |
Compile Time Garbage Collection for Ground Prolog. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Stan Raatz, Jean H. Gallier |
A Relational Semantics for Logic Programming. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Lynette Hirschman, William C. Hopkins, Robert C. Smith |
OR-Parallel Speed-Up in Natural Language Processing: A Case Study. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Jiyang Xu, David Scott Warren |
A Type Inference System for Prolog. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Thomas W. G. Docker |
SAME - A Structured Analysis Tool and its Implementation in Prolog. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt, Howard A. Blair |
Arithmetic Classification of Perfect Models of Stratified Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Gopalan Nadathur, Dale Miller 0001 |
An Overview of Lambda-PROLOG. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Leon Alkalaj, Ehud Shapiro |
An Architectural Model for a Flat Concurrent Prolog Processor. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Staffan Bonnier, Jan Maluszynski |
Towards a Clean Amalgamation of Logic Programs with External Procedures. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Yow-Jian Lin, Vipin Kumar 0001 |
AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Raghu Ramakrishnan 0001 |
Magic Templates: A Spellbinding Approach to Logic Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Shmuel Kliger, Ehud Shapiro |
A Decision Tree Compilation Algorithm for FCP(!, : , ?). |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani |
A Stream AND-Parallel Execution Algorithm with Backtracking. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Maurice Bruynooghe, Gerda Janssens |
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Sven-Olof Nyström |
Control Structures for Guarded Horn Clauses. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
1 | Dave Plummer |
Coda: An Extended Debugger for PROLOG. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|