Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stan Matwin, Stan Szpakowicz, Gregory E. Kersten, Wojtek Michalowski, Zbig Koperczak |
A Logic-Based Tools for Negotiation Support. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Peter B. Reintjes |
AUNT: A Universal Netlist Translator. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi |
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Laxmikant V. Kalé |
'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Michael M. Gorlick, Carl Kesselman |
Timing Prolog Programs without Clock. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001, Gopalan Nadathur |
A Logic Programming Approach to Manipulating Formulas and Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Chenxi Zhang, Tzu Yungui, Liangliang Li, Yunfa Hu |
Implementation of a Prolog Code Database and Source Database in Compiler-Based Systems. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Yasunori Kimura, Takashi Chikayama |
An Abstract KL1 Machine and Its Instruction Set. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Takashi Chikayama |
Parallel Inference System Researches in the FGCS Project. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Suzanne W. Dietrich |
Extension Tables: Memo Relations in Logic Programming. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | William R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain |
Experience with Prolog as a Hardware Specification Language. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | D. W. Shin, Jong H. Nang, Sangki Han, Seungryul Maeng |
A Functional Logic Language Based on Canonical Unification. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Martín Abadi, Zohar Manna |
Temporal Logic Programming. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Donald Sannella, Lincoln A. Wallen |
A Calculus for the Construction of Modular Prolog Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Mitsuhiro Kishimoto, Akira Hosoi, Kouichi Kumon, Akira Hattori |
An Evaluation of the FGHC via Practical Application Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | John S. Conery |
Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Hayato Ohwada, Fumio Mizoguchi |
Qualitative Simulation in Parallel Logic Programming. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Wlodzimierz Drabent |
Do Logic Programs Resemble Programs in Conventional Languages? |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Philip T. Cox, Tomasz Pietrzykowski |
General Diagnosis by Abductive Inference. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Vijay A. Saraswat |
GHC: Operational Semantics, Problems, and Relationships with CP(|, |). |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Heikki Mannila, Esko Ukkonen |
Flow Analysis of Prolog Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | V. S. Subrahmanian |
On the Semantics of Quantitative Logic Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Terry Disz, Ewing L. Lusk |
A Graphical Tool for Observing the Behavior of Parallel Logic Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Hirohisa Seki, Koichi Furukawa |
Notes on Transformation Techniques for Generate and Test Logic Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso |
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Khayri A. M. Ali |
A Method for Implementing Cut in Parallel Execution of Prolog. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Akira Okumura, Yuji Matsumoto 0001 |
Parallel Programming with Layered Streams. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | William H. Winsborough |
Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Weidong Chen |
A Theory of Modules Based on Second-Order Logic. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Vipin Kumar 0001, Yow-Jian Lin |
An Intelligent Backtracking Scheme for Prolog. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray |
Flow Analysis of a Simple Class of Dynamic Logic Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Kish Shen, David H. D. Warren |
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Doug DeGroot |
Restricted And-Parallelism and Side Effects. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | David H. D. Warren |
The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Harald Westphal, Philippe Robert, Jacques Chassin de Kergommeaux, Jean-Claude Syre |
The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Howard A. Blair |
Canoncical Conservative Extensions of Logic Program Completions. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen |
Abstract Interpretation: Towards the Global Optimization of Prolog Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Steffen Hölldobler |
Equational Logic Programming. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Mark Wallace 0001 |
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Hiroshi Nakashima, Katsuto Nakajima |
Hardware Architecture of the Sequential Inference Machine: PSI-II. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Walter G. Wilson |
Concurrent Alpha-Beta: A Study in Concurrent Logic Programming. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Nachum Dershowitz, Yuh-Jeng Lee |
Deductive Debugging. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Gérard Ferrand |
An Operational Formal Definition of PROLOG. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987 |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Martin Huber, Igor Varsek |
Extended Prolog for Order-Sorted Resolution. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Hervé J. Touati, Alvin M. Despain |
An Empirical Study of the Warren Abstract Machine. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Eyal Mozes |
A Deductive Database Based on Aristotelian Logic. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer |
Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Matthew M. Huntbach |
Algorithmic PARLOG Debugging. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Jonas Barklund, Håkan Millroth |
Integrating Complex Data Structures in Prolog. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Yukihide Takayama |
Writing Programs as QJ Proof and Compiling into Prolog Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr |
Le Fun: Logic, Equations and Functions. |
SLP |
1987 |
DBLP BibTeX RDF |
|
1 | Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro |
MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Jorge B. Bocca |
EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Thomas Vasak, John Potter |
Characterisation of Terminating Logic Programs. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Peter Øhrstrøm, Niels Aalborg |
The Logic of Tensed Statements in English - An Application of Logic Programming. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Jim A. Crammond |
An Execution Model for Committed-Choice Non-Deterministic Languages. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | N. Alan Josephson, Nachum Dershowitz |
An Implementation of Narrowing: The RITE Way. (long version: JLP 6(1&2): 57-77) |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Sten-Åke Tärnlund |
Logic Programming-From a Logic Point of View. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Pier Giorgio Bosco, Elio Giovannetti |
IDEAL: An Ideal Deductive Applicative Language. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | M. L. Ross, Kotagiri Ramamohanarao |
Paging Strategy for Prolog Based Dynamic Virtual Memory. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Maurice Bruynooghe, Danny De Schreye, Bruno Krekels |
Compiling Control. (long version: JLP 6(1&2): 135-162) |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Heikki Mannila, Esko Ukkonen |
Timestamped Term Representation for Implementing Prolog. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001 |
A Theory of Modules for Logic Programming. (long version: JLP 6(1&2): 79-108) |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Allen Van Gelder |
Negation as Failure Using Tight Derivations for General Logic Programs. (long version: JLP 6(1&2): 109-133) |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Nam Sung Woo, Kwang-Moo Choe |
Selecting the Backtrack Literal in the AND/OR Model. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Ian T. Foster, Anthony J. Kusalik |
A Logical Treatment of Secondary Storage. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Leon Sterling, Randall D. Beer |
Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction. (long version: JLP 6(1&2): 163-178) |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Joe L. Armstrong, Nabiel A. Elshiewy, Robert Virding |
The Phoning Philosopher's Problem or Logic Programming for Telecommunications Applications. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Jonas Barklund, Håkan Millroth |
Garbage Cut for Garbage Collection of Iterative Prolog Programs. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray, David Scott Warren |
Automatic Mode Inference for Prolog Programs. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Andrzej Ciepielewski, Bogumil Hausman |
Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Peyyun Peggy Li, Alain J. Martin |
The Sync Model: A Parallel Execution Method for Logic Programming. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Alberto Martelli, Corrado Moiso, Gianfranco Rossi |
An Algorithm for Unification in Equational Theories. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | W. W. Bledsoe |
Some Thoughts on Proof Discovery. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Jean H. Gallier, Stan Raatz |
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. (long version: JLP 6(1&2): 3-43) |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | P. Hoddinott, Edward W. Elcock |
PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. (long version: JLP 6(1&2): 45-56) |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Peter Borgwardt, Doris Rea |
Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Jeffrey F. Naughton |
Redundancy in Function-Free Recursive Rules. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray |
Register Allocation in a Prolog Machine. |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986 |
SLP |
1986 |
DBLP BibTeX RDF |
|
1 | Edwin Pittomvils, Maurice Bruynooghe, Yves D. Willems |
Towards a Real-Time Garbage Collector for Prolog. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Hervé Gallaire |
Logic Programming: Further Developments. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Jung-Herng Chang, Alvin M. Despain |
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Toshihiko Miyazaki, Akikazu Takeuchi, Takashi Chikayama |
A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Janice I. Glasgow, Michael A. Jenkins, Carl McCrosky |
User Defined Parallel Control Strategies in Nial. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Jan Maluszynski, Henryk Jan Komorowski |
Unification-Free Execution of Logic Programs. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Lee Naish |
All Solutions Predicates in Prolog. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985 |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Sanjai Narain |
A Technique for Doing Lazy Evaluation in Logic. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Robert A. Kowalski |
Directions for Logic Programming. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Zerksis D. Umrigar, Vijay Pitchumani |
An Experiment in Programming with Full First-Order Logic. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Richard A. O'Keefe |
Towards an Algebra for Constructing Logic Programs. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Piotr Dembinski, Jan Maluszynski |
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Jan Chomicki, Naftaly H. Minsky |
Towards a Programming Environment for Large Prolog Programs. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Nachum Dershowitz, David A. Plaisted |
Logic Programming cum Applicative Programming. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Laurent Fribourg |
SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Mats Carlsson |
A Microcoded Unifier for Lisp Machine Prolog. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Harald Ganzinger, Michael Hanus |
Modular Logic Programming of Compilers. |
SLP |
1985 |
DBLP BibTeX RDF |
|
1 | Rosanna K. S. Lee, Randy Goebel |
Concurrent Prolog in a Multiprocess Environment. |
SLP |
1985 |
DBLP BibTeX RDF |
|