The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1988 (104)
Publication types (Num. hits)
inproceedings(104)
Venues (Conferences, Journals, ...)
ICLP/SLP(104)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 104 publication records. Showing 104 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi A New Declarative Semantics for Logic Languages. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1D. A. Chu, F. G. McCabe SWIFT: A New Symbolic Processor. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Kim Marriott, Lee Naish, Jean-Louis Lassez Most Specific Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Harvey Abramson Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Khayri A. M. Ali OR-Parallel Execution of Prolog on BC-Machine. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Kenneth Kunen Some Remarks on the Completed Database. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Jean H. Gallier, Tomás Isakowitz Rewriting in Order-sorted Equational Logic. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Leon Sterling, Arun Lakhotia Composing Prolog Meta-Interpreters. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1A. Bruffaerts, E. Henin Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1John S. Conery Logical Objects. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Sei-ichi Kondoh, Takashi Chikayama Macro Processing in Prolog. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Kam-Wing Ng, Ho-fung Leung The Competition Model for Parallel Execution of Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Giorgio Levi Models, Unfolding Rules and Fixpoint Semantics. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Mike Brayshaw, Marc Eisenstadt Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Carl McCrosky, Anthony J. Kusalik Improving First-Class Array Expressions Using Prolog. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Jonas Barklund, Nils Hagner, Malik Wafin Condition Graphs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Lee Naish Parallelizing NU-Prolog. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Laurent Fribourg Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Subash Shankar A Hierarchical Associative Memory Architecture for Logic Programming Unification. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck Solving a Cutting-Stock Problem in Constraint Logic Programming. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Kim Marriott, Harald Søndergaard Bottom-up Abstract Interpretation of Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Saumya K. Debray Static Analysis of Parallel Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Steffen Hölldobler From Paramodulation to Narrowing. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1David Chan Constructive Negation Based on the Completed Database. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1William H. Winsborough, Annika Wærn Transparent And-Parallelism in the Presence of Shared Free Variables. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Kave Eshghi Abductive Planning with Event Calculus. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Maarten H. van Emden Conditional Answers for Polymorphic Type Inference. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1David B. Kemp, Rodney W. Topor Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Joseph L. Zachary A Pragmatic Approach to Equational Logic Programming. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Charles Elkan, David A. McAllester Automated Inductive Reasoning about Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Hamish Taylor Localizing the GHC Suspension Test. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Bharat Jayaraman, Anil Nair Subset-Logic Programming: Application and Implementation. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Handong Wu An Extended Dataflow Model of FGHC. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Chor Sang Kwok, Marek J. Sergot Implicit Definition of Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Rajiv Trehan, Paul F. Wilk A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Hirohisa Seki, Hidenori Itoh A Query Evaluation Method for Stratified Programs Under the Extended CWA. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Tien Huynh, Catherine Lassez A CLP(R) Options Trading Analysis System. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Kevin Steer Testing Data Flow Diagrams with PARLOG. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1John Hannan, Dale Miller 0001 Uses of Higher-Order Unification for Implementing Program Transformers. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Annika Wærn An Implementation Technique for the Abstract Interpretation of Prolog. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1David Hemmendinger A Compiler and Semantic Analyzer Based on Categorial Grammar. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Charles D. Stormon, Mark R. Brule, John V. Oldfield, D. F. Ribeiro An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Hiroshi Fujita, Akira Okumura, Koichi Furukawa Partial Evaluation of GHC Programs Based on the UR-set with Constraints. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Peter B. Reintjes A VLSI Design Environment in PROLOG. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz The Stable Model Semantics for Logic Programming. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Halina Przymusinska, Teodor C. Przymusinski Weakly Perfect Model Semantics for Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Yossi Lichtenstein, Ehud Shapiro Abstract Algorithmic Debugging. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Aïda Batarekh, V. S. Subrahmanian Semantical Equivalences of (Non-Classical) Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens Scheduling OR-Parallelism: An Argonne Perspective. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Melvin Fitting, Marion Ben-Jacob Stratified and Three-valued Logic Programming Semantics. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Martin Nilsson, Hidehiko Tanaka A Flat GHC Implementation for Supercomputers. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Bruce T. Smith, Donald W. Loveland A Simple Near-Horn Prolog Interpreter. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Hamid Bacha Meta Prolog Design and Implementation. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Yves Moinard Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Gerda Janssens, Bart Demoen, André Mariën Improving the Register Allocation of WAM by Recording Unification. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Douglas Stott Parker Jr., Richard R. Muntz A Theory of Directed Logic Programs and Streams. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Prabhakaran Raman, Eugene W. Stark Fully Distributed, AND/OR-Parallel Execution of Logic Problems. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Atsuhiro Goto, Yasunori Kimura, T. Nakagawa, Takashi Chikayama Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker Deduced Relevant Types and Constructive Negation. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Paolo Mancarella, Dino Pedreschi An Algebra of Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Paul J. Voda Types of Trilogy. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Pier Giorgio Bosco, C. Cecchi, Corrado Moiso Exploiting the Full Power of Logic Plus Functional Programming. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1S. Kaplan Algorithmic Complexity of Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Ken-ichi Kurosawa, S. Yamaguchi, Shigeo Abe, Tadaaki Bandoh Instruction Architecture for a High Performance Integrated Prolog Processor IPP. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Richard Warren, Manuel V. Hermenegildo, Saumya K. Debray On the Practicality of Global Flow Analysis of Logic Programs. (long version: JLP 13: 349-366 (1992)) Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Luís Moniz Pereira, Miguel Calejo A Framework for Prolog Debugging. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Carlo Zaniolo Design and Implementation of a Logic Based Language for Data Intensive Applications. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Christian Codognet, Philippe Codognet, Gilberto Filé Yet Another Intelligent Backtracking Method. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1I. Attila, Paul Franchi-Zannettacci Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Verónica Dahl Representing Linguistic Knowledge through Logic Programming. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Alan Bundy A Broader Interpretation of Logic in Logic Programming. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Jonathan Wayne Mills, Kevin A. Buettner Assertive Demons. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1M. A. Nait Abdallah Heuristic Logic and the Process of Discovery. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1V. S. Subrahmanian Intuitive Semantics for Quantitative Rule Sets. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Weidong Chen 0005, David Scott Warren Objects as Intensions. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Jorge Lobo 0001, Jack Minker, Arcot Rajasekar Weak Completion Theory for Non-Horn Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Graeme S. Port A Simple Approach to Finding the Cause of Non-Unifiability. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Layman E. Allen, Charles S. Saxon Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Teodor C. Przymusinski Perfect Model Semantics. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Vijay A. Saraswat A Somewhat Logical Formulation of CLP Synchronisation Primitives. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Toramatsu Shintani A Fast Prolog-Based Production System KORE/IE. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Feliks Kluzniak Compile Time Garbage Collection for Ground Prolog. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Stan Raatz, Jean H. Gallier A Relational Semantics for Logic Programming. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Laxmikant V. Kalé, R. Ramkumar, Wei Wennie Shu A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Lynette Hirschman, William C. Hopkins, Robert C. Smith OR-Parallel Speed-Up in Natural Language Processing: A Case Study. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Jiyang Xu, David Scott Warren A Type Inference System for Prolog. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Thomas W. G. Docker SAME - A Structured Analysis Tool and its Implementation in Prolog. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Howard A. Blair Arithmetic Classification of Perfect Models of Stratified Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Gopalan Nadathur, Dale Miller 0001 An Overview of Lambda-PROLOG. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Leon Alkalaj, Ehud Shapiro An Architectural Model for a Flat Concurrent Prolog Processor. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Staffan Bonnier, Jan Maluszynski Towards a Clean Amalgamation of Logic Programs with External Procedures. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Yow-Jian Lin, Vipin Kumar AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Raghu Ramakrishnan Magic Templates: A Spellbinding Approach to Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Shmuel Kliger, Ehud Shapiro A Decision Tree Compilation Algorithm for FCP(!, : , ?). Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani A Stream AND-Parallel Execution Algorithm with Backtracking. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Maurice Bruynooghe, Gerda Janssens An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Sven-Olof Nyström Control Structures for Guarded Horn Clauses. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Dave Plummer Coda: An Extended Debugger for PROLOG. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 104 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license