{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:08:34Z","timestamp":1761620914677},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018457","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:30:30Z","timestamp":1132619430000},"page":"428-443","source":"Crossref","is-referenced-by-count":8,"title":["Towards automatic autoepistemic reasoning"],"prefix":"10.1007","author":[{"given":"Ilkka","family":"Niemel\u00e4","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97062-7","volume-title":"Structural Complexity I","author":"J.L. Balc\u00e1zar","year":"1988","unstructured":"Balc\u00e1zar, J.L., D\u00edaz, I., and Gabarr\u00f3, J. Structural Complexity I. Springer-Verlag, Berlin, 1988."},{"key":"28_CR2","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"Elkan, C. A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence 43 (1990), 219\u2013234.","journal-title":"Artificial Intelligence"},{"key":"28_CR3","first-page":"207","volume-title":"On stratified autoepistemic theories","author":"M. Gelfond","year":"1987","unstructured":"Gelfond, M. On stratified autoepistemic theories. In Proceeding of the 6th National Conference on Artificial Intelligence (Seattle, USA, July 13\u201317, 1987). Morgan Kaufmann Publishers, Los Altos, 1987, pp. 207\u2013211."},{"key":"28_CR4","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H.J. Levesque","year":"1990","unstructured":"Levesque, H.J. All I know: a study in autoepistemic logic. Artificial Intelligence 42 (1990), 263\u2013309.","journal-title":"Artificial Intelligence"},{"key":"28_CR5","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige, K. On the relation between default and autoepistemic logic. Artificial Intelligence 35 (1988), 343\u2013382.","journal-title":"Artificial Intelligence"},{"key":"28_CR6","first-page":"1213","volume-title":"On the relation between autoepistemic and circumscription","author":"K. Konolige","year":"1989","unstructured":"Konolige, K. On the relation between autoepistemic and circumscription. In Proceeding of the 11th International Joint Conference on Artificial Intelligence (Detroit, Aug 20\u201325, 1989). Morgan Kaufmann Publishers, San Mateo, 1989, pp. 1213\u20131218."},{"key":"28_CR7","series-title":"Technical Report","volume-title":"Autoepistemic logic","author":"W. Marek","year":"1988","unstructured":"Marek, W., and Truszczy\u0144ski, M. Autoepistemic logic. Technical Report 115-88, Department of Computer Science, University of Kentucky, Lexington, 1988, 49 p."},{"key":"28_CR8","unstructured":"Marek, W., and Truszczy\u0144ski, M. Relating autoepistemic and default logics. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (Toronto, Canada, May 15\u201318, 1989). Morgan Kaufmann Publishers, San Mateo, 1989, pp. 276\u2013288."},{"key":"28_CR9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D., and Doyle, J. Non-monotonic logic I. Artificial Intelligence 13 (1980), 41\u201372.","journal-title":"Artificial Intelligence"},{"key":"28_CR10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C. Semantical considerations on nonmonotonic logic. Artificial Intelligence 25 (1985), 75\u201394.","journal-title":"Artificial Intelligence"},{"key":"28_CR11","first-page":"105","volume-title":"Non-Standard Logics for Automated Reasoning","author":"R.C. Moore","year":"1988","unstructured":"Moore, R.C. Autoepistemic logic. In Non-Standard Logics for Automated Reasoning, P. Smets, E.H. Mamdani, and D. Dubois, Eds., Academic Press, London, 1988, pp. 105\u2013136."},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1007\/BFb0012865","volume-title":"Decision procedure for autoepistemic logic","author":"I. Niemel\u00e4","year":"1988","unstructured":"Niemel\u00e4, I. Decision procedure for autoepistemic logic. In Proceedings of the 9th International Conference on Automated Deduction (Argonne, USA, May 23\u201326, 1988). Lecture Notes in Computer Science 310, Springer-Verlag, Berlin, 1988, pp. 675\u2013684."},{"key":"28_CR13","first-page":"174","volume-title":"Decision problem in autoepistemic logic","author":"I. Niemel\u00e4","year":"1989","unstructured":"Niemel\u00e4, I. Decision problem in autoepistemic logic. In Proceedings of the Workshop on Alternatives of Logic Programming (Kuopio, Finland, May 22\u201325, 1989). Kuopion yliopiston painatuskeskus, Kuopio, 1989, pp. 174\u2013188."},{"key":"28_CR14","unstructured":"Niemel\u00e4, I. A new characterization of autoepistemic reasoning. In Proceedings of the Finnish Artificial Intelligence Symposium (Oulu, Finland, June 11\u201314, 1990). Finnish Artificial Intelligence Society, 1990, pp. 64\u201373."},{"key":"28_CR15","first-page":"1206","volume-title":"On the relation between truth maintenance and autoepistemic logic","author":"M. Reinfrank","year":"1989","unstructured":"Reinfrank, M., Dressler, O., and Brewka, G. On the relation between truth maintenance and autoepistemic logic. In Proceeding of the 11th International Joint Conference on Artificial Intelligence (Detroit, USA, Aug 20\u201325, 1989). Morgan Kaufmann Publishers, San Mateo, 1989, pp. 1206\u20131212."},{"key":"28_CR16","first-page":"97","volume-title":"Autoepistemic modal logics","author":"G. Shvarts","year":"1990","unstructured":"Shvarts, G. Autoepistemic modal logics. In Proceeding of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (Pacific Grove, USA, March 4\u20137, 1990). Morgan Kaufmann Publishers, San Mateo, 1990, pp. 97\u2013109."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T01:15:30Z","timestamp":1549329330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018457"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0018457","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}