Nonmonotonic reasoning in FLORID

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1265, Issue , 1997, Pages 399-409

  Kandzia, Paul Th ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; MODELING LANGUAGES; OBJECT-ORIENTED DATABASES;

DEDUCTIVE OBJECT ORIENTED DATABASE; F-LOGIC; MULTIPLE INHERITANCE; NON-MONOTONIC REASONING; OBJECT ORIENTED; OBJECT ORIENTED MODEL;

OBJECT ORIENTED PROGRAMMING;

EID: 33749703136     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63255-7_30     Document Type: Conference Paper

References (16)

1. S. Abiteboul. Towards a deductive object-oriented database language. In W. Kim, J.-M. Nicolas, and S. Nishio, editors, Proc. Intl. Conference on Deductive and Object-Oriented Databases (DOOD), pages 419-438. North-Holland/Elsevier Science Publishers, 1989.
2. K. R. Apt and R. N. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19/20: 9-71, 1994.
3. N. Bidoit. Negation in Rule-Based Database Languages: a Survey. Theoretical Computer Science, 78, 1991.
4. S. Brass, J. Dix, and T. C. Przymusinski. Super Logic Programs. In 5. International Conference on Principles of Knowledge Representation and Reasoning, 1996.
5. S. Brass and U. W. Lipeck. Bottom-up query evaluation with partially ordered defaults. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proc. Intl. Conference on Deductive and Object-Oriented Databases (DOOD), number 760 in LNCS. Springer, 1993.
6. S. Ceri and R. Manthey. Chimera: A Model and Language for Active DOOD Systems. In J. Eder and L. Kalinichenko, editors, 2nd Intl. East-West Database Workshop, Klagenfurt, Austria, 1994. Springer.
7. J. Frohn, R. Himmeröder, P.-T. Kandzia, G. Lausen, and C. Schlepphorst. FLORID: A prototype for F-Logic. In Proc. Intl. Conference on Data Engineering, 1997.
8. J. Frohn, R. Himmeröder, P.-T. Kandzia, and C. Schlepphorst. How to write F-Logic programs in FLORID, 1996. Available from ftp://ftp.informatik.uni-freiburg. de/pub/florid/tutorial.ps.gz.
9. J. Frohn, G. Lausen, and H. Uphoff. Access to objects by path expressions and rules. In J. B. Bocca, M. Jarke, and C. Zaniolo, editors, Proc. Intl. Conference on Very Large Data Bases, Santiago de Chile, 1994.
10. M. Jarke, R. Gailersdörfer, M. A. Jeusfeld, and M. Staudt. ConceptBase-a deductive object base for meta data management. Journal of Intelligent Information Systems, 4(2): 167-192, 1995.
11. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4): 741-843, July 1995.
12. P. Kolaitis and C. Papadimitriou. Why not negation by fixpoint? In Proe. ACM Symposium on Principles of Database Systems, pages 231-239, 1988.
13. M. Liu. ROL: A typed deductive object base language. Proe. Intl. Conference on Database and Expert Systems Applications (DEXA), 1996.
14. B. Ludäscher, U. Hamann, and G. Lausen. A logical framework for active rules. In Proe. 7th Intl. Conf. on Management of Data (COMAD), Pune, India, Dec. 1995. Tara McGraw-Hill.
15. J. D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, New York, 1988.
16. A. Van Gelder. The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences, 47(1): 185-221, 1993.