The SCEAS System
Navigation Menu

Conferences in DBLP

Extensions of Logic Programming (ELP) (elp)
1992 (conf/elp/1992)

  1. Luís Moniz Pereira, Luís Caires, José Júlio Alferes
    SLWV - A Theorem Prover for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:1-23 [Conf]
  2. Ken Satoh, Noboru Iwayama
    A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:24-44 [Conf]
  3. Phan Minh Dung
    Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:45-58 [Conf]
  4. María José Ramírez, Moreno Falaschi
    Conditional Narrowing with Constructive Negation. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:59-79 [Conf]
  5. Elisa Bertino, Maurizio Martelli, Danilo Montesi
    CLP(AD) as a Deductive Database Language with Updates. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:80-99 [Conf]
  6. Hassan Aït-Kaci, Andreas Podelski
    Logic Programming with Functions over Order-Sorted Feature Terms. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:100-119 [Conf]
  7. Harold Boley
    A Direct Semantic Characterization of RELFUN. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:120-149 [Conf]
  8. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    Embedding Finite Sets in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:150-167 [Conf]
  9. Laura Giordano, Alberto Martelli
    A Modal Framework for Structured Logic Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:168-186 [Conf]
  10. Antonio Brogi, Franco Turini
    Metalogic for State Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:187-204 [Conf]
  11. Michele Bugliesi
    On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:205-215 [Conf]
  12. António Porto, Paulo Rosado
    The AbstrAct Scheme for Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:216-241 [Conf]
  13. Dale Miller
    The pi-Calculus as a Theory in Linear Logic: Preliminary Results. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:242-264 [Conf]
  14. Seppo Keronen
    Natural Deduction Proof Theory for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:265-281 [Conf]
  15. Uday S. Reddy
    A Typed Foundation for Directional Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:282-318 [Conf]
  16. Micha Meier, Joachim Schimpf
    An Architecture for Prolog Extensions. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:319-338 [Conf]
  17. Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
    Techniques for Implementing Contexts in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:339-358 [Conf]
  18. Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
    Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:359-393 [Conf]
  19. Martin Aronsson
    Implementational Issues in GCLA: A-Sufficiency and Definiens Operation. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:394-417 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002