Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Sten-Åke Tärnlund |
Logic Programming-From a Logic Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 96-103, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Pier Giorgio Bosco, Elio Giovannetti |
IDEAL: An Ideal Deductive Applicative Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 89-94, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | M. L. Ross, Kotagiri Ramamohanarao |
Paging Strategy for Prolog Based Dynamic Virtual Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 46-57, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Maurice Bruynooghe, Danny De Schreye, Bruno Krekels |
Compiling Control. (long version: JLP 6(1&2): 135-162) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 70-77, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Heikki Mannila, Esko Ukkonen |
Timestamped Term Representation for Implementing Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 159-165, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Dale Miller 0001 |
A Theory of Modules for Logic Programming. (long version: JLP 6(1&2): 79-108) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 106-114, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Allen Van Gelder |
Negation as Failure Using Tight Derivations for General Logic Programs. (long version: JLP 6(1&2): 109-133) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 127-138, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Nam Sung Woo, Kwang-Moo Choe |
Selecting the Backtrack Literal in the AND/OR Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 200-210, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Ian T. Foster, Anthony J. Kusalik |
A Logical Treatment of Secondary Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 58-67, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Leon Sterling, Randall D. Beer |
Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction. (long version: JLP 6(1&2): 163-178) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 20-27, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Joe L. Armstrong, Nabiel A. Elshiewy, Robert Virding |
The Phoning Philosopher's Problem or Logic Programming for Telecommunications Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 28-33, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Jonas Barklund, Håkan Millroth |
Garbage Cut for Garbage Collection of Iterative Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 276-283, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Saumya K. Debray, David Scott Warren |
Automatic Mode Inference for Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 78-88, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Andrzej Ciepielewski, Bogumil Hausman |
Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 246-257, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Peyyun Peggy Li, Alain J. Martin |
The Sync Model: A Parallel Execution Method for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 223-234, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Alberto Martelli, Corrado Moiso, Gianfranco Rossi |
An Algorithm for Unification in Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 180-186, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | W. W. Bledsoe |
Some Thoughts on Proof Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 2-10, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | 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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 168-179, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | P. Hoddinott, Edward W. Elcock |
PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. (long version: JLP 6(1&2): 45-56) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 115-126, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Peter Borgwardt, Doris Rea |
Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 211-222, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Jeffrey F. Naughton |
Redundancy in Function-Free Recursive Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 236-245, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Saumya K. Debray |
Register Allocation in a Prolog Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 267-275, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | |
Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![IEEE-CS, 0-8186-0728-9 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
21 | Edwin Pittomvils, Maurice Bruynooghe, Yves D. Willems |
Towards a Real-Time Garbage Collector for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 185-198, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Hervé Gallaire |
Logic Programming: Further Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 88-96, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Jung-Herng Chang, Alvin M. Despain |
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 10-21, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Toshihiko Miyazaki, Akikazu Takeuchi, Takashi Chikayama |
A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 110-118, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Janice I. Glasgow, Michael A. Jenkins, Carl McCrosky |
User Defined Parallel Control Strategies in Nial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 22-28, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Jan Maluszynski, Henryk Jan Komorowski |
Unification-Free Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 78-86, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Lee Naish |
All Solutions Predicates in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 73-77, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | |
Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![IEEE-CS, 0-8186-0636-3 The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Sanjai Narain |
A Technique for Doing Lazy Evaluation in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 261-269, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Robert A. Kowalski |
Directions for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 2-7, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Zerksis D. Umrigar, Vijay Pitchumani |
An Experiment in Programming with Full First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 40-47, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Richard A. O'Keefe |
Towards an Algebra for Constructing Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 152-160, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Piotr Dembinski, Jan Maluszynski |
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 29-38, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Jan Chomicki, Naftaly H. Minsky |
Towards a Programming Environment for Large Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 230-241, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Nachum Dershowitz, David A. Plaisted |
Logic Programming cum Applicative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 54-66, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Laurent Fribourg |
SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 172-184, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Mats Carlsson |
A Microcoded Unifier for Lisp Machine Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 162-171, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Harald Ganzinger, Michael Hanus |
Modular Logic Programming of Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 242-253, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Rosanna K. S. Lee, Randy Goebel |
Concurrent Prolog in a Multiprocess Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 100-109, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Hajime Sawamura, Taku Takeshima |
Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 200-207, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Jean H. Gallier, Stan Raatz |
Logic Programming and Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 208-219, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Kazunori Ueda, Takashi Chikayama |
Concurrent Prolog Compiler on Top of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 119-126, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Richard A. O'Keefe |
On the Treatment of Cuts in Prolog Source-Level Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 68-72, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Kenneth A. Bowen, Tobias Weinberg |
A Meta-Level Extension of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 48-53, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Amitabh Srivastava, Don Oxley, Aditya Srivastava |
An(other) Integration of Logic and Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 254-260, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Uday S. Reddy |
Narrowing as the Operational Semantics of Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 138-151, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Giorgio Levi, Catuscia Palamidessi |
The Declarative Semantics of Logical Read-Only Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 128-137, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Philip T. Cox, Tomasz Pietrzykowski |
Surface Deduction: A Uniform Mechanism for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 220-227, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | David Scott Warren |
Efficient Prolog Memory Management for Flexible Control Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 198-202, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Uday S. Reddy |
Transformation of Logic Programs into Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 187-196, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Ehud Shapiro, Colin Mierowsky |
Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 83-90, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Hideyuki Nakashima |
Knowledge representation in Prolog/KR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 126-130, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Peter Borgwardt |
Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 2-11, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Neil D. Jones, Alan Mycroft |
Stepwise Development of Operational and Denotational Semantics for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 281-288, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | P. A. Subrahmanyam, Jia-Huai You |
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 144-153, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Harvey Abramson |
Definite Clause Translation Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 233-240, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | David Gelernter |
A Note on Systems Programming in Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 76-82, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | |
Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![IEEE-CS, 0-8186-0522-7 The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Lisa Hellerstein, Ehud Shapiro |
Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 99-115, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Hiroshi Nakagawa |
AND Parallel PROLOG with Divided Assertion Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 22-28, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Tamás Gergely, Miklós Szöts |
Cuttable Formulas for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 299-310, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Kenneth M. Kahn |
A Primitive for the Control of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 242-251, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Carlo Zaniolo |
Object-Oriented Programming in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 265-270, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Mats Carlsson |
On Implementing Prolog in Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 154-159, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Evan Tick, David H. D. Warren |
Towards a Pipelined Prolog Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 29-40, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Hisao Tamaki |
Semantics of a Logic Programming Language with a Reducibility Predicate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 259-264, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Bruce Smith |
Logic Programming on an FFP Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 177-186, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Maria-Virginia Aponte, José Alberto Fernández, Philippe Roussel |
Editing First-Order Proofs: Programmed Rules vs Derived Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 92-98, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Kuniaki Uehara, Ryo Ochitani, Osamu Kakusho, Jun'ichi Toyoda |
A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 220-227, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé |
Executing Distributed Prolog Programs on a Broadcast Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 12-21, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Naoyuki Tamura, Yukio Kaneda |
Implementing Parallel Prolog on a Multiprocessor Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 42-48, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | David A. Plaisted |
The Occur-Check Problem in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 272-280, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Tom Khabaza |
Negation as Failure and Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 70-75, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Michael J. Wise, David M. W. Powers |
Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 203-210, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Hajime Kitakami, Susumu Kunifuji, Taizo Miyachi, Koichi Furukawa |
A Methodology for Implementation of a Knowledge Acquisition System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 131-142, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli |
On the Integration of Logic Programming and Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 160-166, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Mark E. Stickel |
A Prolog Technology Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 211-217, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Gary Lindstrom, Prakash Panangaden |
Stream-Based Execution of Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 168-176, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Stephen Taylor, Andy Lowry, Gerald Q. Maguire Jr., Salvatore J. Stolfo |
Logic Programming Using Parallel Associative Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 58-68, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | António Porto, Miguel Filgueiras |
Natural Language Semantics: A Logic Programming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 228-232, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Prateek Mishra |
Towards a Theory of Types in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 289-298, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Andrzej Ciepielewski, Seif Haridi |
Control of Activities in the Or-Parallel Token Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 49-57, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Taizo Miyachi, Susumu Kunifuji, Hajime Kitakami, Koichi Furukawa, Akikazu Takeuchi, Haruo Yokota |
A Knowledge Assimilation Method for Logic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 118-125, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Derek R. Brough, Maarten H. van Emden |
Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 252-258, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
20 | Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi |
A New Declarative Semantics for Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 993-1005, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | D. A. Chu, F. G. McCabe |
SWIFT: A New Symbolic Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1415-1427, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Kim Marriott, Lee Naish, Jean-Louis Lassez |
Most Specific Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 909-923, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Harvey Abramson |
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 233-248, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Khayri A. M. Ali |
OR-Parallel Execution of Prolog on BC-Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1531-1545, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Kenneth Kunen |
Some Remarks on the Completed Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 978-992, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Jean H. Gallier, Tomás Isakowitz |
Rewriting in Order-sorted Equational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 280-294, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Leon Sterling, Arun Lakhotia |
Composing Prolog Meta-Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 386-403, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | A. Bruffaerts, E. Henin |
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 343-358, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | John S. Conery |
Logical Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 420-434, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Sei-Ichi Kondoh, Takashi Chikayama |
Macro Processing in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 466-480, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Kam-Wing Ng, Ho-fung Leung |
The Competition Model for Parallel Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1180-1187, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Giorgio Levi |
Models, Unfolding Rules and Fixpoint Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1649-1665, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|