{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:11Z","timestamp":1725664451209},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604280"},{"type":"electronic","value":"9783540455950"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60428-6_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:26:08Z","timestamp":1330280768000},"page":"1-16","source":"Crossref","is-referenced-by-count":1,"title":["Terminological meta-reasoning by reification and multiple contexts"],"prefix":"10.1007","author":[{"given":"Klemens","family":"Schnattinger","sequence":"first","affiliation":[]},{"given":"Udo","family":"Hahn","sequence":"additional","affiliation":[]},{"given":"Manfred","family":"Klenner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","first-page":"243","volume-title":"Meta-Level Architectures and Reflection","author":"L. Aiello","year":"1988","unstructured":"Aiello, L. and Levi, G. (1988). The uses of metaknowledge in AI systems. In P.Maes and D.Nardi, editors, Meta-Level Architectures and Reflection, pages 243\u2013254. Amsterdam: North-Holland."},{"key":"1_CR2","unstructured":"Buva\u010d, S., Buva\u010d, V., and Mason, I. (1995). Metamathematics of contexts. Fundamenta Informaticae, 23(3). Also distributed via ."},{"key":"1_CR3","unstructured":"Buva\u010d, S. and McCarthy, J. (1994). More notes on formalizing context. Distributed via ."},{"key":"1_CR4","unstructured":"Buva\u010d, S.; Buva\u010d, V. and Mason, I. (1994). The semantics of propositional contexts. In Proc. 8th Intl. Symposium on Methodologies for Intelligent Systems. Springer. Also distributed via ."},{"key":"1_CR5","unstructured":"Clark, P. (1988). Representing arguments as background knowledge for constraining generalisation. In EWSL'88 \u2014 Proc. 3rd European Working Session on Learning, pages 37\u201344."},{"key":"1_CR6","volume-title":"Heuristic Reasoning about Uncertainty: An Artificial Intelligence Approach.","author":"P. Cohen","year":"1985","unstructured":"Cohen, P. (1985). Heuristic Reasoning about Uncertainty: An Artificial Intelligence Approach. Los Altos\/CA: Morgan Kaufmann."},{"key":"1_CR7","first-page":"169","volume":"17","author":"W. Cohen","year":"1994","unstructured":"Cohen, W. and Hirsh, H. (1994). The learnability of description logics with equality constraints. Machine Learning, 17:169\u2013199.","journal-title":"Machine Learning"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12:231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Friedman, D. and Wand, M. (1984). Reification: reflection without metaphysics. In Proc. 1984 ACM Symposium on Lisp and Functional Programming, pages 348\u2013355, Austin, Texas.","DOI":"10.1145\/800055.802051"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F. and Serafini, L. (1994). Multilanguage hierarchical logics, or: how can we do without modal logics? Artificial Intelligence, 65:29\u201370.","journal-title":"Artificial Intelligence"},{"key":"1_CR11","unstructured":"Hahn, U., Klenner, M., and Schnattinger, K. (1995). Learning from texts \u2014 A terminological meta-reasoning perspective. In Proc. IJCAI'95 Workshop on New Approaches to Learning for Natural Language Processing. Also distributed via ."},{"issue":"1\/2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1006\/ijhc.1994.1056","volume":"41","author":"U. Hahn","year":"1994","unstructured":"Hahn, U., Schacht, S., and Br\u00f6ker, N. (1994). Concurrent, object-oriented dependency parsing \u2014 the ParseTalk model. International Journal of Human-Computer Studies, 41(1\/2):179\u2013222.","journal-title":"International Journal of Human-Computer Studies"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Halpern","year":"1992","unstructured":"Halpern, J. and Moses, Y. (1992). A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319\u2013379.","journal-title":"Artificial Intelligence"},{"key":"1_CR14","volume-title":"Knowledge and Belief. An Introduction to the Logic of the Two Notions","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and Belief. An Introduction to the Logic of the Two Notions. Ithaca, N.Y.: Cornell University Press."},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1023\/A:1022626200450","volume":"14","author":"J.-U. Kietz","year":"1994","unstructured":"Kietz, J.-U. and Morik, K. (1994). A polynomial approach to the constructive induction of structural knowledge. Machine Learning, 14:193\u2013217.","journal-title":"Machine Learning"},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1080\/09528139308953767","volume":"5","author":"R. MacGregor","year":"1993","unstructured":"MacGregor, R. (1993). Representing reified relations in LOOM. Journal of Experimental and Theoretical Artificial Intelligence, 5:179\u2013183.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"1_CR17","unstructured":"MacGregor, R. (1994). A description classifier for the predicate calculus. In AAAI'94 \u2014 Proc. 12th National Conf. on Artificial Intelligence, pages 213\u2013220."},{"key":"1_CR18","unstructured":"McCarthy, J. (1993). Notes on formalizing context. In IJCAI'93 \u2014 Proc. 13th Intl. Joint Conf. on Artificial Intelligence, pages 555\u2013560, Chambery, France."},{"key":"1_CR19","unstructured":"Morik, K. (1986). Anything you can do I can do meta. Technical Report KIT-Report 40, TU Berlin, FB Informatik, Projektgruppe KIT."},{"key":"1_CR20","first-page":"61","volume-title":"Meta-Level Architectures and Reflection","author":"D. Nardi","year":"1988","unstructured":"Nardi, D. (1988). Evaluation and reflection in FOL. In P.Maes and D.Nardi, editors, Meta-Level Architectures and Reflection, pages 61\u201374. Amsterdam: North-Holland."},{"key":"1_CR21","volume-title":"Reasoning Under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example","author":"L. Sombe","year":"1990","unstructured":"Sombe, L. (1990). Reasoning Under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example. New York: John Wiley."},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R. W. Weyhrauch","year":"1980","unstructured":"Weyhrauch, R. W. (1980). Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13(1):133\u2013170.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60428-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:37:59Z","timestamp":1619573879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60428-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604280","9783540455950"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-60428-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}