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 0001, 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, Carlo 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 A. 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 0001 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 0001 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 L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license