The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1989-1991 (26) 1992 (20) 1993 (23) 1994-1996 (23)
Publication types (Num. hits)
inproceedings(87) proceedings(5)
Venues (Conferences, Journals, ...)
ELP(92)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 16 keywords

Results
Found 92 publication records. Showing 92 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Karl Stroetmann 0001, Thomas Glaß A Declarative Semantics for the Prolog Cut Operator. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Paolo Ciancarini, Daniela Fogli, Mauro Gaspari A Logic Language based on GAMMA-like Multiset Rewriting. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira Default Negated Conclusions: Why Not? Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, Steffen Hölldobler, Michael Thielscher An Abstract Machine for Reasoning about Situations, Actions, and Causality. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ricardo Caferra, Nicolas Peltier A Significant Extension of Logic Programming by Adapting Model Building Rules. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Anatoli Degtyarev, Andrei Voronkov Handling Equality in Logic Programming via Basic Folding. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Herbert Kuchen, Josef Anastasiadis Higher Order Babel: Language and Implementation. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matteo Baldoni, Laura Giordano 0001, Alberto Martelli Translating a Modal Language with Embedded Implication into Horn Clause Logic. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Multimodal Logic, Embedded Implication, Translation
1Martin Argenius, Andrei Voronkov Semantics of Constraint Logic Programs with Bounded Quantifiers. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Juan José Moreno-Navarro Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Olof Torgersson A Definitional Approach to Functional Logic Programming. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Jörg Hudelmaier On the Computational Complexity of Propositional Logic Programs with Nested Implications. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Robert F. Stärk Total Correctness of Logic Programs: A Formal Approach. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Formal methods in logic programming, verification of logic programs, pure Prolog, negation as failure
1Antonio Brogi, Cosimo Guarino Pruning the Search Space of Logic Programs. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1James Lipton, Stacy E. Finkelstein, Peter J. Freyd A New Framework for Declarative Programming: Categorial Perspectives. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Yoshiki Kinoshita, A. John Power A Fibrational Semantics for Logic Programs. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Iliano Cervesato, Joshua S. Hodas, Frank Pfenning Efficient Resource Management for Linear Logic Proof Search. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Teodor C. Przymusinski Super Logic Programs and Negation as Belief. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter Vojtás, Leonard Paulík Soundness and Completeness of Non-classical SLD-Resolution. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.) Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Catholijn M. Jonker Proof-theory for Extensions of Logic Programming. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Rule-based calculus, program completions, negations
1Roy Dyckhoff (eds.) Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings Search on Bibsonomy ELP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira Contradiction: When Avoidance Equals Removal - Part II. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira Contradiction: When Avoidance Equals Removal - Part I. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Roy Dyckhoff Introduction to ELP'93. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Joshua S. Hodas Logic Programming with Multiple Context Management Schemes. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Harold Boley Finite Domains and Exclusions as First-Class Citizens. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Answer Sets and Nonmonotonic S4. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Per Kreuger Axioms in Definitional Calculi. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Salvador Abreu, Luís Moniz Pereira Design for AKL with Intelligent Pruning. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Lars-Henrik Eriksson Finitary Partial Inductive Definitions as a General Logic. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jirí Zlatuska Linear Logic Semantics for Concurrent Prolog. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Mario Ornaghi Regular Search Spaces as a Foundation of Logic Programming. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Dale Miller 0001 A Proposal for Modules in Lambda-Prolog. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Luís Pinto Cut Formulae and Logic Programming. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Seppo Keronen Non-Procedural Logic Programming. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Beatrice Amrhein Birkhoff's HSP-Theorem for Cumulative Logic Programs. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Cristina Ribeiro 0001, António Porto Representation and Inference with Consistent Temporal Propositions. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Göran Falkman, Olof Torgersson Programming Methodologies in GCLA. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Higher-order Aspects of Logic Programming. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Higher-order features, semantics, functional programming, types, lambda calculus, concurrent logic programming, logic variables
1Knut Hinkelmann, Helge Hintze Computing Cost Estimates for Proof Strategies. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Peter Schroeder-Heister Definitional Reflection and the Completion. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Evelina Lamma, Paola Mello (eds.) Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Agostino Dovier A Language with Finite Sets Embedded in the CLP-scheme. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Harold Boley A Direct Semantic Characterization of RELFUN. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister (eds.) Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Phan Minh Dung Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Luís Moniz Pereira, Luís Caires, José Júlio Alferes SLWV - A Theorem Prover for Logic Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ken Satoh, Noboru Iwayama A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1María José Ramírez, Moreno Falaschi Conditional Narrowing with Constructive Negation. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Equational logic programming, term rewriting systems, narrowing, constructive negation
1Uday S. Reddy A Typed Foundation for Directional Logic Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables
1Michele Bugliesi On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Seppo Keronen Natural Deduction Proof Theory for Logic Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Dale Miller 0001 The pi-Calculus as a Theory in Linear Logic: Preliminary Results. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi Embedding Finite Sets in a Logic Programming Language. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Micha Meier, Joachim Schimpf An Architecture for Prolog Extensions. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Martin Aronsson Implementational Issues in GCLA: A-Sufficiency and Definiens Operation. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1António Porto, Paulo Rosado The AbstrAct Scheme for Concurrent Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Franco Turini Metalogic for State Oriented Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Elisa Bertino, Maurizio Martelli, Danilo Montesi CLP(AD) as a Deductive Database Language with Updates. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini Techniques for Implementing Contexts in Logic Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Hassan Aït-Kaci, Andreas Podelski Logic Programming with Functions over Order-Sorted Feature Terms. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli A Modal Framework for Structured Logic Programs. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Lars-Henrik Eriksson A Finitary Version of the Calculus of Partial Inductive Defintions. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Torkel Franzén, Seif Haridi, Sverker Janson An Overview of the Andorra Kernel Language. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Martin Aronsson Methodology and Programming Techniques in GCLA II. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Peter Schroeder-Heister (eds.) Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Amy P. Felty A Logic Programming Approach to Implementing Higher-Order Term Rewriting. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Lars Hallnäs Logical and Computational Invariants of Programs. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Per Kreuger GCLA II - A Definitional Approach to Control. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Harold Boley Extended Logic-plus-Functional Programming. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Spiro Michaylov, Frank Pfenning Natural Semantics and Some of Its Meta-Theory in Elf. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1John Hannan Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Philipp Hanschke Terminological Reasoning and Partial Inductive Definitions. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1David W. Reed, Donald W. Loveland, Bruce T. Smith The Near-Horn Approach to Disjunctive Logic Programming. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Evelina Lamma, Paola Mello Open Logic Theories. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Peter Schroeder-Heister Hypothetical Reasoning and Definitional Reflection in Logic Programming. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Michael Beeson Some Applications of Gentzen's Proof Theory in Automated Deduction. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Jean-Marc Andreoli, Remo Pareschi Logic Programming with Sequent Systems, A Linear Logic Approach. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Gerd Wagner Logic Programming with Strong Negation. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Modal Provability Foundations for Negation by Failure. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1James H. Andrews Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger A Survey of GCLA: A Definitional Approach to Logic Programming. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Antonius J. M. van Hoof, Jaap Hoepelman Non-Moniotonic and Conditionals in Dialogue Logic. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Jörg Hudelmaier A Decision Procedure for Propositional N-Prolog. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Dale Miller 0001 A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Amy P. Felty A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Elsa L. Gunter Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Lawrence C. Paulson, Andrew W. Smith Logic Programming, Functional Programming, and Inductive Definitions. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #92 of 92 (100 per page; Change: )
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