Conferences in DBLP
Hervé Gallaire , Jack Minker , Jean-Marie Nicolas An Overview and Intoduction to Logic and Data Bases. [Citation Graph (2, 0)][DBLP ] Logic and Data Bases, 1977, pp:3-30 [Conf ] Jean-Marie Nicolas , Hervé Gallaire Data Base: Theory vs. Interpretation. [Citation Graph (24, 0)][DBLP ] Logic and Data Bases, 1977, pp:33-54 [Conf ] Raymond Reiter On Closed World Data Bases. [Citation Graph (74, 0)][DBLP ] Logic and Data Bases, 1977, pp:55-76 [Conf ] Robert A. Kowalski Logic for Data Description. [Citation Graph (10, 0)][DBLP ] Logic and Data Bases, 1977, pp:77-103 [Conf ] Jack Minker An Experimental Relational Data Base System Based on Logic. [Citation Graph (7, 0)][DBLP ] Logic and Data Bases, 1977, pp:107-147 [Conf ] Raymond Reiter Deductive Question-Answering on Relational Data Bases. [Citation Graph (30, 0)][DBLP ] Logic and Data Bases, 1977, pp:149-177 [Conf ] Charles Kellogg , Philip Klahr , Larry Travis Deductive Planning and Pathfinding for Relational Data Bases. [Citation Graph (3, 0)][DBLP ] Logic and Data Bases, 1977, pp:179-200 [Conf ] Chin-Liang Chang DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. [Citation Graph (15, 0)][DBLP ] Logic and Data Bases, 1977, pp:201-236 [Conf ] Marco Colombetti , Paolo Paolini , Giuseppe Pelagatti Nondeterministic Languages Used for the Definition of Data Models. [Citation Graph (1, 0)][DBLP ] Logic and Data Bases, 1977, pp:237-257 [Conf ] Sten-Åke Tärnlund An Axiomatic Data Base Theory. [Citation Graph (0, 0)][DBLP ] Logic and Data Bases, 1977, pp:259-289 [Conf ] Keith L. Clark Negation as Failure. [Citation Graph (43, 0)][DBLP ] Logic and Data Bases, 1977, pp:293-322 [Conf ] Jean-Marie Nicolas , Kioumars Yazdanian Integrity Checking in Deductive Data Bases. [Citation Graph (21, 0)][DBLP ] Logic and Data Bases, 1977, pp:325-344 [Conf ] Ivan Futó , Ferenc Darvas , Péter Szeredi The Application of Prolog to the Development of QA and BDS Systems. [Citation Graph (1, 0)][DBLP ] Logic and Data Bases, 1977, pp:347-376 [Conf ] Werner Dilger , Gisela Zifonun The Predicate Calculus-Language KS as a Query Language. [Citation Graph (1, 0)][DBLP ] Logic and Data Bases, 1977, pp:377-408 [Conf ] Alain Pirotte High Level Data Base Query Languages. [Citation Graph (13, 0)][DBLP ] Logic and Data Bases, 1977, pp:409-436 [Conf ]