PERSPECTIVES IN KNOWLEDGE REPRESENTATION

References

• Aiello , L. , Cecchi, O, and Sartini , D. 1986 . Representation and Use of Metaknowledge . In Proc. of the IEEE, Special Issue on Knowledge Representation 74 ( 10 ) 1304 – 1321 .
   Google Scholar
• Aiello , L. , Donini , F. M. , Pirri , F. , and Schaerf , M. 1990a . Can We Believe Our Beliefs? To appear in Proc. of the Int. Symp. on Methodologies for Intelligent Systems, ISM1S 90, October 24–26, Knoxville , Tennessee .
   Google Scholar
• Aiello , L. , and Levi , G. 1984 . The Uses of Metaknowledge in AI Systems . In Proc. of ECAI 84 , ed. T. O'Shea, pp. 705 – 717 , September 5–7, Pisa, Italy . Amsterdam North-Holland .
   Google Scholar
• Aiello , L. , Nardi , D. , and Schaerf , M. 1988 . Reasoning about Knowledge and Ignorance. In Proc. of Int. Conf. on Fifth Generation Computer Systems. FGCS 88, pp. 618 – 627 , November 28–December 2, Tokyo , Japan .
   Google Scholar
• Aiello , L. , Nardi , D. , and Schaerf , M. 1990b . Reasoning about Reasoning in a Meta–level Architecture . Technical Report, Dipartimento di Informatica e Sistemistica, Univ. de Roma " La Sapienza ," to appear in J. Applied Intelligence .
   Google Scholar
• Aït-Kaci , H. , and Nasr , R. 1986 . LOGIN A Logic Programming Language with Built–in Inheritance . J. Logic Prog. 3 185 – 215 .
   Google Scholar
• Anderson , A. R. , and Belnap , N. D. 1975 . Entailment, the Logic of Relevance and Necessity . Princeton , N.J. Princeton University Press .
   Google Scholar
• Appelt , D. E. , and Konolige , K. , 1988 . A Nonmonotonic Logic for Reasoning about Speech Acts and Belief Revision . In Proc. of 2nd International Vforkshop on Non–Monolonic Reasoning , eds. M. Reinfrank, J. de Kleer, M. L. Ginsberg, and E. Sandewall, pp. 164 – 175 , June 13–15, Grassau, West Germany. Published as LNAI 346 , Berlin Springer–Verlag .
   Google Scholar
• Bowen, K. A,, and Kowalski , R. A. 1982 . Amalgamating Language and Metalanguage . In Logic Programming , ed. S. Tamlund, pp. 153 – 173 . New York Academic Press .
   Google Scholar
• Brachman , R. J. , Fikes , R. E. , and Levesque , H. J. 1983 . A Functional Approach to Knowledge Representation . In Proc. of the IEEE 16 ( 10 ) 67 – 73 .
   Google Scholar
• Brachman , R. J. ,Levesque, H. J. eds. 1985 . Readings in Knowledge Representation . Los Altos , Calif. , Morgan Kaufmann .
   Google Scholar
• Brachman , R. J. , Pigman , G. V. , and Levesque , H. J. 1985 . An Essential Hybrid Reasoning System Knowledge and Symbol Level Accounts of Krypton . In Proc. of IJCAI 85 , pp. 532 – 539 , August 18–23, Los Angeles , Calif .
   Google Scholar
• Brachman , R. J. , and Schmolzc , J. 1985 . An Overview of the KL–ONE Knowledge Representation System . Cognitive Science 9 ( 2 ) 171 – 216 .
   Web of Science ®Google Scholar
• Cialdea , M. , Micarelli , A. , Nardi , D. , Spohrer , J. C. , and Aiello , L. 1989 . A Rational Reconstruction of the Diagnostic Process in Intelligent Tutoring Systems . Technical Report, Dipartimento di Informatica e Sistemistica , Univ. di Roma "La Sapienza" , Roma , Italy .
   Google Scholar
• Clark , K. L. 1978 . Negation as Failure . In Logic and Data Bases , eds. H. Gallaire and J. Minker, pp. 293 – 322 . New York Plenum .
   Google Scholar
• Cohn , A. G. 1987 . A More Expressive Formulation of Many Sorted Logic . J. of Automated Reasoning 3 113 – 200 .
   Google Scholar
• de Kleer , J. 1986 . An Assumption Based TMS . Artif. Intelli. 28 127 – 162 .
   Web of Science ®Google Scholar
• Delgrande , J. P. , and Hamilton , S. J. 1989 . An Investigation of Modal Structures as an Alternative Semantic Basis for Epistemic Logics . Comput. Intelli. 5 82–96 .
   Google Scholar
• Donini , F. M. , Hollunder , B. , Lenzerini , M. , Marchetti Spaccamela. A., Nardi , D. , and Nutt , W. 1990a . A Source of Complexity in Terminological Reasoning . DFKI-Report , Univ. Kaiserlautern , West Germany .
   Google Scholar
• Donini , F. M. , and Lenzerini , M. , 1988 . TERMLOG A Logic for Terminological Knowledge. In Proc. of Int. Symp. on Methodologies for Intelligent Systems. ISMIS 88, eds. Z. W. Ras, and L. Sairta, pp. 398 – 407 , October 12–15, Torino, Italy . Amsterdam North-Holland .
   Google Scholar
• Donini , F. M. , Lenzerini , M. , and Nardi , D. 1990b . An Efficient Method for Hybrid Deduction . Technical Report, Dipartimento di Informatica e Sistemistica , Univ. di Roma "La Sapienza," Roma , Italy , to appear in AI Communications 3 ( 3 ) 128 – 138 .
   Google Scholar
• Donini , F. M. , Lenzerini , M. , Nardi , D. , Pirri , F. , and Schaerf , M. 1990c . Nonmonotonic Reasoning . Technical Report, Dipartimento di Informatica e Sistemistica , Univ. di Roma "La Sapienza," Roma , Italy , to appear in Artificial Intelligence Reviews 4 163 – 210 .
   Google Scholar
• Doyle , J. 1979 . A Truth Maintenance System . Artif. Intelli. 12 ( 3 ) 231 – 272 .
   Web of Science ®Google Scholar
• Fagin , R. , Halpern , J. 1988 . Belief, Awareness and Limited Reasoning . Artif. Intelli. 34 39 – 76 .
   Web of Science ®Google Scholar
• Fagin , R. , Kuper , J. M. , Ullman , J. D. , and Vardi , M. Y. 1986 . Updating Logical Databases . In Advances in Computing Research , eds. P. C. Kanellakis, and F. Preparata, pp. 1 – 18 . Greenwich , Conn. JAI Press .
   Google Scholar
• Filman , R. E. 1988 . Reasoning with Worlds and Truth Maintenance in a Knowledge–based Programming Environment . Communications of the ACM 31 ( 4 ) 382 – 401 .
   Web of Science ®Google Scholar
• Gelfond , M. , and Przymusinska , H. 1986 . Negation as Failure Careful Closure Procedure . Artif. Intelli. 30 ( 3 ) 273 – 289 .
   Web of Science ®Google Scholar
• Gelfond , M. , Przymusinska , H. ,Przymusinski, T, 1989 . On the Relationship between Circumscription and Negation as Failure . Artif. Intelli. 38 ( l ) 75 – 94 .
   Google Scholar
• Ginsberg , M. L. 1988 . Readings in Nonmonotonic Reasoning . Los Altos , Calif. Morgan Kaufmann .
   Google Scholar
• Halpern , J. Y. , and Moses , Y. O. 1985 . A Guide to the Modal Logics of Knowledge and Belief . In Proc. of UCAI 85 , pp. 480 – 490 , August 18–23, Los Angeles , Calif .
   Google Scholar
• Hinlikka , J. 1962 . Knowledge and Belief . Ithaca , N.Y. Cornell University Press .
   Google Scholar
• Holzbaur , C , and Pfharinger , B. 1987 . Synthesis of Hybrid Languages . Applied Artif. Intelli. 1 39 – 52 .
   Google Scholar
• Konolige , K. 1985 . Belief and Incompleteness . In Formal Theories of the Common-sense World , eds. J. Hobbs, and R. C. Moore, pp. 358 – 403 . Norwood , N.J. Ablex .
   Google Scholar
• Konolige , K. 1986 . A Deduction Model of Belief . Los Altos , Calif. Morgan Kaufmann .
   Google Scholar
• Konolige , K. 1988 . On the Relation Between Default and Autoepistemic Logic . Artif. Intelli. 35 ( 3 ) 343 – 382 .
   Web of Science ®Google Scholar
• Kunz , J. C , Kehler , T. P. , and Williams , M. D. 1984 . Applications Development Using a Hybrid AI Development System . AI Mag. 5 ( 3 ) 41 – 54 .
   Google Scholar
• Lakcmayer , G. 1987 . Tractable Meta-Reasoning in Prepositional Logic of Belief . In Proc. of UCAI 87 , pp. 402 – 408 . August 23–28, Milano , Italy .
   Google Scholar
• Langlotz , C , Shortlife, E. H . 1989 . Logical and Decision Theoretic Methods for Planning under Uncertainty . AI Mag. 10 39 – 48 .
   Google Scholar
• Lenzerini , M. , and Nardi , D. 1988 . Belief Revision as Meta–Reasoning . In Proc. of ECAl 88 , ed. Y. Kodratoff, pp. 577 – 579 , August 1–5, Munich, West Germany . London Pitman .
   Google Scholar
• Levesque , H. J. 1984 . A Logic of Implicit and Explicit Belief . In Proc. of AAAI 84 , pp. 198 – 202 , August 6–10, Austin , Texas .
   Google Scholar
• Levesque , H. J. 1986 . Knowledge Representation and Reasoning . Ann. Rev. Comput, Sci. 1 255 – 287 .
   Google Scholar
• Levesque , H. J. , and Brachman , R. J. 1985 . A Fundamental Tradeoff in Knowledge Representation and Reasoning . In Readings in Knowledge Representation , eds. R. J. Brachman and H. J. Levesque, pp. 41 – 70 , Los Altos , Calif. Morgan Kaufmann .
   Google Scholar
• Lifschitz , V. 1986 . Pointwise Circumscription . In Proc. of AAAI 86 , pp. 406 – 410 , August 11–15, Philadelphia .
   Google Scholar
• Maes , P. , and Nardi , D. , eds. 1988 . Meta-level Architecture and Reflection . Amsterdam North-Holland .
   Google Scholar
• Martins , J. P. , and Shapiro , S. C. 1988 . A Model for Belief Revision . Artif. Intelli. 35 ( 1 ) 25 – 79 .
   Google Scholar
• McAlIester , D. A. 1982 . Reasoning Utility Package User's Manual . MIT AI Memo 667 . Cambridge , Mass. MIT .
   Google Scholar
• McCarthy , J. 1980 . Circumscription-a Form of Non-Monotonic Reasoning . Artif Intelli. 13 27 – 39 .
   Web of Science ®Google Scholar
• McCarthy , J. 1986 , Applications of Circumscription to Formalizing Common Sense Reasoning . Artif. Intelli. 28 89 – 116 .
   Web of Science ®Google Scholar
• McCarthy , J. , and Hayes , P. J. 1969 . Some Philosophical Problems from the Standpoint of Artificial Intelligence . In Machine Intelligence 4 , eds. B. Michie and B. Meltzer, pp. 463 – 502 . Edinburgh Edinburgh University Press .
   Google Scholar
• Moore , R. 1985 . Semantical Considerations on Nonmonotonic Logic . Artif. Intelli. 25 75 – 94 .
   Web of Science ®Google Scholar
• Nardi , D. 1988 . Evaluation and Reflection in FOL . In Meta-level Architecture and Reflection , eds. P. Maes and D. Nardi, pp. 195 – 207 . Amsterdam North-Holland .
   Google Scholar
• Nebel , B. 1988 . Computational Complexity of Terminological Reasoning in BACK . Artif. Intelli. 34 ( 3 ) p37l–383 p.
   Google Scholar
• Nebel , B. ,von Luck , K. , 1988 . Hybrid Reasoning in BACK. In Proc. of Int. Symp. on Methodologies for Intelligent Systems, ISMIS 88, eds. Z. W. Ras and L. Saitta, pp. 260 – 269 , October 12–15, Torino, Italy . Amsterdam North-Holland .
   Google Scholar
• Patel-Schneider , P. F. 1986 . A Four-Valued Semantics for a Frame-Based Description Language. Proc. of AAAI 86, pp. 344 – 348 , August 11–15, Philadelphia .
   Google Scholar
• Przymusinski , T. C. 1989 . Three-valued Formalizations of Nonmonotonic Reasoning and Logic Programming. Proc. ofKR–89, eds. R. J. Brachman, H. J., Levesque, and R. Reiter, pp. 341 – 348 , May 15–18, Toronto, Canada . Los Altos , Calif. Morgan Kaufmann .
   Google Scholar
• Reinfrank , M. , de Kleer , J. , Ginsberg , M. L. , and Sandewall , E. , eds. 1989 . Non-Monotonic Reasoning, Proc. of the 2nd Int. Hbrkshop, June 13–15, Grassau, West Germany. Published as LNAI 346 , Berlin Springer-Verlag .
   Google Scholar
• Reiter , R. 1978 . On Closed World Data Bases . In Logic and Data Bases , eds. H. Gallaire and J. Minker, pp. 293 – 322 . New York Plenum .
   Google Scholar
• Reiter , R. 1980 . A Logic for Default Reasoning . Artif. Intelli. 13 81 – 132 .
   Web of Science ®Google Scholar
• Reiter , R. 1986 . Foundations for Knowledge-Based Systems . In Proc. oflFlP 86 , ed. H. J. Kiuger, pp. 663 – 667 , September 1–5, Dublin, Ireland . Amsterdam North-Holland .
   Google Scholar
• Reiter , R. 1987 . Nonmonotonic Reasoning . Annu. Rev. Comp. Sci. 2 147 – 186 .
   Web of Science ®Google Scholar
• Reiter , R. ,de Kleer , J. 1987 . Foundations of Assumption-based Truth Maintenance Systems Preliminary Report . In Proc. of AAAI 87 , pp. 183 – 188 , August 23–25, Milano , Italy .
   Google Scholar
• Rich , C. 1982 . Knowledge Representation Languages and Predicate Calculus How to Have Your Cake and Eat It Too . In Proc. of AAAI 82 , pp. 193 – 196 , August 18–20, Pittsburgh , Pa .
   Google Scholar
• Shoham , Y. , and Moses , Y. 1989 . Belief as Defeasible Knowledge . In Proc. of IJCAI 89 , pp. 1168 – 1173 , August 20–25, Detroit , Michigan .
   Google Scholar
• Shubert , L. K. , Papalaskaris , M. A. , and Taugher , J. 1983 . Determining Type, Part, Color, and Time Relationships . Proc. of the IEEE 16 ( 10 ) 53 – 60 .
   Google Scholar
• Smith , B. C. , 1986 . Varieties of Self– . In Proc. of the 2nd Conference on Theoretical Aspects on Reasoning about Knowledge , ed. J. Halpem pp. 19 – 43 , March 19–22 , Monterey , Calif. Los Altos, Calif.: Morgan Kaufmann ,
   Google Scholar
• Stickel , M. E. 1985 . Automated Deduction by Theory Resolution . J. of Automated Reasoning l ( 4 ) 333 – 355 .
   Google Scholar
• Talcott, C, and Weyhrauch , R. W. 1990 . Towards a Theory of Mechanizable Theories I (FOL Contexts-the Extensional View) . To appear in Proc. ofECAl 90 , pp. 634 – 639 . August 6–10, Stockholm , Sweden .
   Google Scholar
• Ullman , J. D. 1987 . Database Theory Past and Future. In Proc. of the 2nd ACM Symp. on the Principles on Database Systems, PODS 87, pp. 1 – 10 , March, San Diego , Calif .
   Google Scholar
• Vilain , M. 1985 . The Restricted Language Architecture of a Hybrid Representation System . In Proc. of UCAI 85 , pp. 547 – 551 , August 18–23, Los Angeles , Calif .
   Google Scholar
• Weyhrauch , R. W. 1980 . Prolegomena to a Theory of Mechanized Formal Reasoning . Artif. Intetli. 13 ( 1 ) p133–I70 p.
   Google Scholar