{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:58Z","timestamp":1725664678829},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:19:37Z","timestamp":1330276777000},"page":"388-400","source":"Crossref","is-referenced-by-count":0,"title":["Trans-epistemic semantics for logic programs"],"prefix":"10.1007","author":[{"given":"Arcot","family":"Rajasekar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"28_CR1","unstructured":"M. Gelfond. Strong Introspection. In Proc. of AAAI-91, 1991."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"M. Gelfond. Logic Programming and Reasoning with Incomplete Information. Annals of Mathematics and Artificial Intelligence, 12, 1994.","DOI":"10.1007\/BF01530762"},{"key":"28_CR3","unstructured":"M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In R.A. Kowalski and K.A. Bowen, editors, Proc. 5 th International Conference and Symposium on Logic Programming, pages 1070\u20131080, Seattle, Washington, August 15\u201319 1988."},{"key":"28_CR4","unstructured":"G. Lakemeyer and H.J. Levesque. A Tractable Knowledge Representation Service with Full Introspection. In Proc. TARK 88, 1988."},{"issue":"2\u20133","key":"28_CR5","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H.J. Levesque","year":"1990","unstructured":"H.J. Levesque. All I Know: A Study in Autoepistemic Logic. Artificial Intelligence, 42(2\u20133):263\u2013309, 1990.","journal-title":"Artificial Intelligence"},{"key":"28_CR6","unstructured":"J.J. Lu, A. Nerode, J.B. Remmel, and V.S. Subrahmanian. Toward A Theory of Hybrid Knowledge Bases. Technical report, MSI, Cornell University, 1993."},{"key":"28_CR7","unstructured":"W. Marek, A. Nerode, and J.B. Remmel. A Contex for Belief Revision: FC-normal Nonmonotonic, Programs. In Proc. Workshop on Defeasible Reasoning and Constraint Solving, 1992. To appear in Annals of Pure and Applied Logic."},{"key":"28_CR8","unstructured":"W. Marek, A. Nerode, and J.B. Remmel. Rule Systems, Well-ordering and Forward Chaining. Technical report, MSI, Cornell University, 1993."},{"key":"28_CR9","unstructured":"W. Marek and M. Truszczynski. Relating autoepistemic and default logics. In Proceedings of KR-89, pages 276\u2013288, 1989."},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczynski. Non-Monotonic Logics: Context Dependent Reasoning. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02906-0_9"},{"key":"28_CR11","unstructured":"A. Nerode and V.S. Subrahmanian. Hybrid Knowledge Bases. Technical report, University of Maryland, 1992."},{"key":"28_CR12","unstructured":"T. Przymusinski. A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs. In Proc. of Logic Programming and Non-Monotonic Reasoning Retreat, Shaker Village, KY, 1994."},{"key":"28_CR13","unstructured":"A. Rajasekar. Theories of Trans-Epistemic Defaults. Technical report, University of Kentucky, 1994."},{"issue":"1and2","key":"28_CR14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13(1 and 2):81\u2013132, April 1980.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:27:25Z","timestamp":1605648445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}