The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SLP"( http://dblp.L3S.de/Venues/SLP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/slp

Publication years (Num. hits)
1984 (36) 1985 (28) 1986 (29) 1987 (52)
Publication types (Num. hits)
inproceedings(141) proceedings(4)
Venues (Conferences, Journals, ...)
SLP(145)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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