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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 499-506, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Peter B. Reintjes |
AUNT: A Universal Netlist Translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 508-515, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi |
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 69-79, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Laxmikant V. Kalé |
'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 125-133, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Michael M. Gorlick, Carl Kesselman |
Timing Prolog Programs without Clock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 426-434, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001, Gopalan Nadathur |
A Logic Programming Approach to Manipulating Formulas and Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 379-388, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 398-405, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Yasunori Kimura, Takashi Chikayama |
An Abstract KL1 Machine and Its Instruction Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 468-477, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Takashi Chikayama |
Parallel Inference System Researches in the FGCS Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 274-276, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Suzanne W. Dietrich |
Extension Tables: Memo Relations in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 264-272, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | William R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain |
Experience with Prolog as a Hardware Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 490-498, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | D. W. Shin, Jong H. Nang, Sangki Han, Seungryul Maeng |
A Functional Logic Language Based on Canonical Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 328-334, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Martín Abadi, Zohar Manna |
Temporal Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 4-16, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Donald Sannella, Lincoln A. Wallen |
A Calculus for the Construction of Modular Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 368-378, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Mitsuhiro Kishimoto, Akira Hosoi, Kouichi Kumon, Akira Hattori |
An Evaluation of the FGHC via Practical Application Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 516-525, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | John S. Conery |
Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 457-467, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Hayato Ohwada, Fumio Mizoguchi |
Qualitative Simulation in Parallel Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 480-489, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Wlodzimierz Drabent |
Do Logic Programs Resemble Programs in Conventional Languages? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 289-396, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Philip T. Cox, Tomasz Pietrzykowski |
General Diagnosis by Abductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 183-189, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Vijay A. Saraswat |
GHC: Operational Semantics, Problems, and Relationships with CP(|, |). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 347-358, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Heikki Mannila, Esko Ukkonen |
Flow Analysis of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 205-214, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | V. S. Subrahmanian |
On the Semantics of Quantitative Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 173-182, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Terry Disz, Ewing L. Lusk |
A Graphical Tool for Observing the Behavior of Parallel Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 46-53, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Hirohisa Seki, Koichi Furukawa |
Notes on Transformation Techniques for Generate and Test Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 215-223, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 318-327, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Khayri A. M. Ali |
A Method for Implementing Cut in Parallel Execution of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 449-456, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Akira Okumura, Yuji Matsumoto 0001 |
Parallel Programming with Layered Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 224-232, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | William H. Winsborough |
Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 134-152, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Weidong Chen |
A Theory of Modules Based on Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 24-33, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Vipin Kumar 0001, Yow-Jian Lin |
An Intelligent Backtracking Scheme for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 406-414, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray |
Flow Analysis of a Simple Class of Dynamic Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 307-316, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Kish Shen, David H. D. Warren |
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 45-68, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Doug DeGroot |
Restricted And-Parallelism and Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 80-89, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | David H. D. Warren |
The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 92-102, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 436-448, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Howard A. Blair |
Canoncical Conservative Extensions of Logic Program Completions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 154-161, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen |
Abstract Interpretation: Towards the Global Optimization of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 192-204, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Steffen Hölldobler |
Equational Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 335-346, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Mark Wallace 0001 |
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 253-263, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Hiroshi Nakashima, Katsuto Nakajima |
Hardware Architecture of the Sequential Inference Machine: PSI-II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 104-113, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Walter G. Wilson |
Concurrent Alpha-Beta: A Study in Concurrent Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 360-367, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Nachum Dershowitz, Yuh-Jeng Lee |
Deductive Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 298-306, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Gérard Ferrand |
An Operational Formal Definition of PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 162-172, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![IEEE-CS, 0-8186-0799-8 The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Martin Huber, Igor Varsek |
Extended Prolog for Order-Sorted Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 34-43, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Hervé J. Touati, Alvin M. Despain |
An Empirical Study of the Warren Abstract Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 114-124, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Eyal Mozes |
A Deductive Database Based on Aristotelian Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 244-252, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 234-243, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Matthew M. Huntbach |
Algorithmic PARLOG Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 288-297, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Jonas Barklund, Håkan Millroth |
Integrating Complex Data Structures in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 415-425, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Yukihide Takayama |
Writing Programs as QJ Proof and Compiling into Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 278-287, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr |
Le Fun: Logic, Equations and Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 17-23, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
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. ![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. 258-264, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Jorge B. Bocca |
EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS. ![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. 36-45, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Thomas Vasak, John Potter |
Characterisation of Terminating 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. 140-147, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Peter Øhrstrøm, Niels Aalborg |
The Logic of Tensed Statements in English - An Application of 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. 12-19, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Jim A. Crammond |
An Execution Model for Committed-Choice Non-Deterministic Languages. ![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. 148-158, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
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) ![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. 187-197, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
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) ![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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | |
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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | |
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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|