Burkhard Freitag  Home/Search
Context Related
| fmi.unipassau.de/lehrstuehl...paper.ps unipassau.de/lehrstuehle/fr...paper.ps unipassau.de/lehrstuehle/fr...paper.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fmi.unipassau.de/lehr...contents (more) From: unipassau.de/lehrstuehle/frei... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The applicability of programming languages for knowledge based systems to real life application problems is largely determined by their support of modularity, abstraction, and reusability of modules. While the deductive database approach to knowledge representation has its merits in the declarativity of the underlying logic languages and the integration of deduction and efficient database access, it currently does not offer structuring instruments and abstraction facilities. In this paper we... (Update)
Context of citations to this paper: More
...be extended to deal with embedded implication and embedded universal quantification, lexical scoping, modules, and module signatures. [6, 5] propose methods for the evaluation of sublanguages of these extensions by deductive database techniques. Our interface definition language...
...locality of references is essential. Just globally importing the Count rule set 1 Due to space limitations, we must refer the reader to [8] for a more realistic example. 2 into Analyze would not have the same effect. As an example consider the goal (even odd( 1; 2; 3; 4; 5]...
Cited by: More
Modular Logic Programs over Finite Domains - Maurizio Gabbrielli Cwi (1993) (Correct)
Towards Deductive Object Databases - Bertino, Guerrini (1994) (Correct)
Transactions and Updates in Deductive Databases - Montesi, Bertino, Martelli (1995) (Correct)
Active bibliography (related documents): More All
1.0: Extending Deductive Database Languages by Embedded Implications - Freitag (1992) (Correct)
0.5: Lexical Scoping As Universal Quantification - Miller (1989) (Correct)
0.4: Modularity In Logic Programming - Bugliesi, Lamma, Mello (1993) (Correct)
Similar documents based on text: More All
0.3: Module Configuration by Minimal Model Construction - Steffen, Margaria, Freitag (1993) (Correct)
0.3: The Differential Fixpoint of General Logic Programs - Zukowski, Freitag (1996) (Correct)
0.3: A Logical Framework for the Specification of Transactions - Wichert (2000) (Correct)
Related documents from co-citation: More All
4: Performance evaluation of data intensive logic programs (context) - Bancilhon, Ramakrishnan - 1988
4: Foundations of Logic Programming (context) - Lloyd - 1987
3: Towards a Logical-Object Oriented Programming Language for Databases (context) - Bertino, Montesi - 1992
BibTeX entry: (Update)
B. Freitag. A deductive database language supporting modules. In Proc. 2nd International Computer Science Conference (ICSC'92) -- Data and Knowledge Engineering: Theory and Applications, pages 210 -- 216, Hong Kong, 1992. http://citeseer.ist.psu.edu/freitag92deductive.html More
@techreport{ freitag92deductive,
author = "Burkhard Freitag",
title = "A Deductive Database Language Supporting Modules",
address = "Passau",
year = "1992",
url = "citeseer.ist.psu.edu/freitag92deductive.html" }
Citations (may not include all citations):109 A Polymorphic Type System for Prolog (context) - Mycroft, O'Keefe - 1984 DBLP
82 PROLOG: An Extension of PROLOG with Hypothetical Implication.. (context) - Gabbay, Reyle - 1984
82 PROLOG: An Extension of PROLOG with Hypothetical Implication.. (context) - N- - 1985
58 Contextual Logic Programming (context) - Monteiro, Porto - 1989 DBLP
41 HiLog: A First-Order Semantics for Higher-Order Logic Progra.. (context) - Chen, Kifer et al. - 1989 DBLP
34 LOLA - A Logic Language for Deductive Databases and its Impl.. (context) - Freitag, Schutz et al. - 1991 ACM DBLP
30 A Calculus for the Construction of Modular Prolog Programs (context) - Sanella, Wallen - 1992 ACM DBLP
29 Composition Operators for Logic Theories (context) - Brogi, Mancarella et al. - 1990
20 Representing Objects in a Logic Programming Language with Sc.. - Hodas, Miller - 1990 ACM
9 Logic Programming in a Software Engineering Perspective (context) - Mello, Natali - 1989 DBLP
8 Inheritance and Hypothetical Reasoning in Logic Programming (context) - Brogi, Lamma et al. - 1990 DBLP
6 Local Definitions with Static Scope Rules in Logic Programmi.. (context) - Giordano, Martelli et al. - 1988 DBLP
3 Modular Construction of Logic Knowledge Bases: An Algebraic .. (context) - Sernadas, Fiadeiro et al. - 1990 ACM DBLP
3 the fifth International Conference on Logic Programming (context) - Nadathur, Miller - 1988
3 the Declarative Semantics of Deductive Databases (context) - On - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.fmi.uni-passau.de/lehrstuehle/freitag/publications/contents.html): More
Transformation-Based Bottom-Up Computation of the.. - Zukowski, Freitag, Brass (1996) (Correct)
Logical Specification of Bulk Updates and Sequential Updates - Wichert, Freitag (1996) (Correct)
Method Resolution and Virtual Classes in a Deductive.. - Freitag (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC