Search results for "ELP"

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

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