Conferences in DBLP
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 ] 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 ] Phan Minh Dung Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:45-58 [Conf ] María José Ramírez , Moreno Falaschi Conditional Narrowing with Constructive Negation. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:59-79 [Conf ] 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 ] 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 ] Harold Boley A Direct Semantic Characterization of RELFUN. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:120-149 [Conf ] 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 ] Laura Giordano , Alberto Martelli A Modal Framework for Structured Logic Programs. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:168-186 [Conf ] Antonio Brogi , Franco Turini Metalogic for State Oriented Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:187-204 [Conf ] 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 ] António Porto , Paulo Rosado The AbstrAct Scheme for Concurrent Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:216-241 [Conf ] Dale Miller The pi-Calculus as a Theory in Linear Logic: Preliminary Results. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:242-264 [Conf ] Seppo Keronen Natural Deduction Proof Theory for Logic Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:265-281 [Conf ] Uday S. Reddy A Typed Foundation for Directional Logic Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:282-318 [Conf ] Micha Meier , Joachim Schimpf An Architecture for Prolog Extensions. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:319-338 [Conf ] 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 ] 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 ] Martin Aronsson Implementational Issues in GCLA: A-Sufficiency and Definiens Operation. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:394-417 [Conf ]