{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:23Z","timestamp":1725475883890},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676973"},{"type":"electronic","value":"9783540450085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_30","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:43:15Z","timestamp":1167439395000},"page":"383-397","source":"Crossref","is-referenced-by-count":1,"title":["Tableau Calculus for Only Knowing and Knowing At Most"],"prefix":"10.1007","author":[{"given":"Riccardo","family":"Rosati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/BFb0028009","volume-title":"Computer Science Logic","author":"P.A. Bonatti","year":"1998","unstructured":"Bonatti, P.A., Olivetti, N.: A sequent calculus for circumscription. In: Nielsen, M. (ed.) CSL 1997. LNCS (LNAI), vol.\u00a01414, pp. 98\u2013114. Springer, Heidelberg (1998)"},{"key":"30_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BFb0027408","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"P.A. Bonatti","year":"1997","unstructured":"Bonatti, P.A., Olivetti, N.: A sequent calculus for skeptical default logic. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS (LNAI), vol.\u00a01227, pp. 107\u2013121. Springer, Heidelberg (1997)"},{"key":"30_CR3","doi-asserted-by":"crossref","first-page":"205","DOI":"10.3233\/FI-1994-2133","volume":"21","author":"J. Chen","year":"1994","unstructured":"Chen, J.: The logic of only knowing as a unified framework for non-monotonic reasoning. Fundamenta Informaticae\u00a021, 205\u2013220 (1994)","journal-title":"Fundamenta Informaticae"},{"key":"30_CR4","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61630-6_6","volume-title":"Logics in Artificial Intelligence","author":"F.M. Donini","year":"1996","unstructured":"Donini, F.M., Massacci, F., Nardi, D., Rosati, R.: A uniform tableaux method for nonmonotonic modal logics. In: Or\u0142owska, E., Alferes, J.J., Moniz Pereira, L. (eds.) JELIA 1996. LNCS (LNAI), vol.\u00a01126, pp. 87\u2013103. Springer, Heidelberg (1996)"},{"key":"30_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrechtz (1983)"},{"key":"30_CR6","unstructured":"Gor\u00e9, R.: Semi-analytic tableaux for modal logics with application to nonmonotonicity. Logique et Analyse, 133\u2013134 (1991)"},{"issue":"2","key":"30_CR7","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/0004-3702(95)00007-2","volume":"74","author":"J.Y. Halpern","year":"1995","unstructured":"Halpern, J.Y., Lakemeyer, G.: Levesque\u2019s axiomatization of only knowing is incomplete. Artificial Intelligence\u00a074(2), 381\u2013387 (1995)","journal-title":"Artificial Intelligence"},{"key":"30_CR8","volume-title":"Proc. of TARK 1996","author":"J.Y. Halpern","year":"1996","unstructured":"Halpern, J.Y., Lakemeyer, G.: Multi-agent only knowing. In: Proc. of TARK 1996. Morgan Kaufmann, San Francisco (1996)"},{"key":"30_CR9","volume-title":"Logic and models of concurrent systems","author":"J.Y. Halpern","year":"1985","unstructured":"Halpern, J.Y., Moses, Y.: Towards a theory of knowledge and ignorance: Preliminary report. In: Apt, K. (ed.) Logic and models of concurrent systems. Springer, Heidelberg (1985)"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence\u00a054, 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"key":"30_CR11","volume-title":"Handbook of Theoretical Computer Science","author":"D.S. Johnson","year":"1990","unstructured":"Johnson, D.S.: A catalog of complexity classes. In: van Leuven, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0A, ch. 2. Elsevier, Amsterdam (1990)"},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0004-3702(95)00063-1","volume":"84","author":"G. Lakemeyer","year":"1996","unstructured":"Lakemeyer, G.: Limited reasoning in first-order knowledge bases with full introspection. Artificial Intelligence\u00a084, 209\u2013255 (1996)","journal-title":"Artificial Intelligence"},{"key":"30_CR13","first-page":"14","volume-title":"Proc. of KR 1996","author":"G. Lakemeyer","year":"1996","unstructured":"Lakemeyer, G.: Only knowing in the situation calculus. In: Proc. of KR 1996, pp. 14\u201325. Morgan Kaufmann, San Francisco (1996)"},{"key":"30_CR14","first-page":"145","volume-title":"Proc. of TARK 1988","author":"G. Lakemeyer","year":"1988","unstructured":"Lakemeyer, G., Levesque, H.J.: A tractable knowledge representation service with full introspection. In: Proc. of TARK 1988, pp. 145\u2013159. Morgan Kaufmann, Los Altos (1988)"},{"key":"30_CR15","doi-asserted-by":"publisher","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\u00a042, 263\u2013310 (1990)","journal-title":"Artificial Intelligence"},{"key":"30_CR16","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","volume":"70","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V.: Minimal belief and negation as failure. Artificial Intelligence\u00a070, 53\u201372 (1994)","journal-title":"Artificial Intelligence"},{"key":"30_CR17","volume-title":"Nonmonotonic Logics - Context-Dependent Reasoning","author":"W. Marek","year":"1993","unstructured":"Marek, W., Truszczy\u0144ski, M.: Nonmonotonic Logics - Context-Dependent Reasoning. Springer, Heidelberg (1993)"},{"key":"30_CR18","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1007\/3-540-58156-1_52","volume-title":"Automated Deduction - CADE-12","author":"F. Massacci","year":"1994","unstructured":"Massacci, F.: Strongly analytic tableaux for normal modal logics. In: Bundy, A. (ed.) CADE 1994. LNCS (LNAI), vol.\u00a0814, pp. 723\u2013737. Springer, Heidelberg (1994)"},{"key":"30_CR19","doi-asserted-by":"publisher","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\u00a025, 75\u201394 (1985)","journal-title":"Artificial Intelligence"},{"key":"30_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/BFb0012865","volume-title":"9th International Conference on Automated Deduction","author":"I. Niemel\u00e4","year":"1988","unstructured":"Niemel\u00e4, I.: Decision procedure for autoepistemic logic. In: Lusk, E.\u2018., Overbeek, R. (eds.) CADE 1988. LNCS, vol.\u00a0310, pp. 675\u2013684. Springer, Heidelberg (1988)"},{"key":"30_CR21","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-61208-4_18","volume-title":"Theorem Proving with Analytic Tableaux and Related Methods","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I.: A tableau calculus for minimal model reasoning. In: Miglioli, P., Moscato, U., Ornaghi, M., Mundici, D. (eds.) TABLEAUX 1996. LNCS (LNAI), vol.\u00a01071, pp. 278\u2013294. Springer, Heidelberg (1996)"},{"key":"30_CR22","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF00247828","volume":"9","author":"N. Olivetti","year":"1992","unstructured":"Olivetti, N.: Tableaux and sequent calculus for minimal entailment. J. of Automated Reasoning\u00a09, 99\u2013139 (1992)","journal-title":"J. of Automated Reasoning"},{"key":"30_CR23","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0743-1066(92)90049-9","volume":"14","author":"R. Reiter","year":"1990","unstructured":"Reiter, R.: What should a database know? J. of Logic Programming\u00a014, 127\u2013153 (1990)","journal-title":"J. of Logic Programming"},{"key":"30_CR24","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0004-3702(99)00083-1","volume":"116","author":"R. Rosati","year":"2000","unstructured":"Rosati, R.: On the decidability and complexity of reasoning about only knowing. Artificial Intelligence\u00a0116, 193\u2013215 (2000)","journal-title":"Artificial Intelligence"},{"key":"30_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1007\/3-540-52885-7_112","volume-title":"10th International Conference on Automated Deduction","author":"C.B. Schwind","year":"1990","unstructured":"Schwind, C.B.: A tableaux-based theorem prover for a decidable subset of default logic. In: Stickel, M.E. (ed.) CADE 1990. LNCS, vol.\u00a0449, pp. 528\u2013542. Springer, Heidelberg (1990)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722086_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T15:21:27Z","timestamp":1587309687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/10722086_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}