default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. ELP 1992: Bologna, Italy
- Evelina Lamma, Paola Mello:
Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings. Lecture Notes in Computer Science 660, Springer 1993, ISBN 3-540-56454-3
Negation
- Luís Moniz Pereira, Luís Caires, José Júlio Alferes
:
SLWV - A Theorem Prover for Logic Programming. 1-23 - Ken Satoh, Noboru Iwayama:
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. 24-44 - Phan Minh Dung:
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. 45-58 - María José Ramírez, Moreno Falaschi:
Conditional Narrowing with Constructive Negation. 59-79
Constraints, Functions and Sets
- Elisa Bertino, Maurizio Martelli, Danilo Montesi:
CLP(AD) as a Deductive Database Language with Updates. 80-99 - Hassan Aït-Kaci, Andreas Podelski:
Logic Programming with Functions over Order-Sorted Feature Terms. 100-119 - Harold Boley:
A Direct Semantic Characterization of RELFUN. 120-149 - Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
Embedding Finite Sets in a Logic Programming Language. 150-167
Modules, Objects, and Inheritance
- Laura Giordano, Alberto Martelli:
A Modal Framework for Structured Logic Programs. 168-186 - Antonio Brogi, Franco Turini:
Metalogic for State Oriented Programming. 187-204 - Michele Bugliesi:
On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. 205-215
Concurrency
- António Porto, Paulo Rosado:
The AbstrAct Scheme for Concurrent Programming. 216-241 - Dale Miller:
The pi-Calculus as a Theory in Linear Logic: Preliminary Results. 242-264
Proof Theory
- Seppo Keronen:
Natural Deduction Proof Theory for Logic Programming. 265-281 - Uday S. Reddy:
A Typed Foundation for Directional Logic Programming. 282-318
Implementation Issues
- Micha Meier, Joachim Schimpf:
An Architecture for Prolog Extensions. 319-338 - Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini:
Techniques for Implementing Contexts in Logic Programming. 339-358 - Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson:
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. 359-393 - Martin Aronsson:
Implementational Issues in GCLA: A-Sufficiency and Definiens Operation. 394-417
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
