Search results for "SLP"

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

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