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 |
|