A Hybrid System with Datalog and Concept Languages
暂无分享,去创建一个
[1] Bernhard Nebel,et al. Hybrid Reasoning in BACK , 1988, ISMIS.
[2] Francesco M. Donini,et al. A hybrid system integrating Datalog and concept languages , 1991 .
[3] Bernhard Nebel,et al. Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.
[4] F. Baader,et al. Concept Logics , 1990 .
[5] Werner Nutt,et al. The Complexity of Concept Languages , 1997, KR.
[6] Jeffrey D. Uuman. Principles of database and knowledge- base systems , 1989 .
[7] Alan M. Frisch. A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning , 1989, International Conference on Principles of Knowledge Representation and Reasoning.
[8] Klaus Schild,et al. A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.
[9] Jeffrey D. Ullman,et al. Principles Of Database And Knowledge-Base Systems , 1979 .
[10] Anthony G. Cohn,et al. Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning , 1991, AI Mag..
[11] Gert Smolka,et al. Attributive Concept Descriptions with Complements , 1991, Artif. Intell..
[12] Serge Abiteboul,et al. Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..
[13] Hector J. Levesque,et al. An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.