{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:23Z","timestamp":1725456023690},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013982","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"82-100","source":"Crossref","is-referenced-by-count":6,"title":["Circumscribing features and fluents"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Doherty","sequence":"first","affiliation":[]},{"given":"Witold","family":"\u0141ukaszewicz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"P. Doherty. Reasoning about action and change using occlusion. In Proceedings of the 11th European Conference on Artificial Intelligence, Aug. 8\u201312, Amsterdam, pages 401\u2013405, 1994."},{"key":"6_CR2","unstructured":"P. Doherty. Reasoning about action and change using occlusion: Extended report. Technical report, Link\u00f6ping University, 1994."},{"key":"6_CR3","unstructured":"M. Gelfond and V. Lifschitz. Representing actions in extended logic programming. In K. Apt, editor, Proc. Joint Int'l Conf. and Symp. on Logic Programming, pages 559\u2013573, 1992."},{"key":"6_CR4","unstructured":"H. Kautz. The logic of persistence. In Proc. National Conf. on Artificial Intelligence, (AAAI-86), pages 401\u2013405, 1986."},{"key":"6_CR5","first-page":"121","volume":"1","author":"V. Lifschitz","year":"1985","unstructured":"V. Lifschitz. Computing circumscription. In Proc. IJCAI-85, volume 1, pages 121\u2013127, 1985.","journal-title":"Proc. IJCAI-85"},{"key":"6_CR6","unstructured":"V. Lifschitz. Pointwise circumscription. In M. Ginsberg, editor, Readings in Non-monotonic Reasoning, pages 179\u2013193. Morgan Kaufmann, 1988."},{"key":"6_CR7","unstructured":"V. Lifschitz. Toward a metatheory of action. In Proc. International Conf. on Knowledge Representation and Reasoning, (KR-91), pages 376\u2013386, 1991."},{"key":"6_CR8","unstructured":"F. Lin and Y. Shoham. Provably correct theories of action (preliminary report). In National Conference on Artificial Intelligence (AAAI-91), pages 349\u2013354, 1991."},{"key":"6_CR9","unstructured":"W. Lukaszewicz. Non-Monotonic Reasoning \u2014 Formalization of Commonsense Reasoning. Ellis Horwood Series in Artificial Intelligence. Ellis Horwood, 1990."},{"key":"6_CR10","unstructured":"E. Sandewall. Filter preferential entailment for the logic of action and change. In Proc. Int'l Joint Conf. on Artificial Intelligence, (IJCAI-89), 1989."},{"key":"6_CR11","unstructured":"E. Sandewall. Features and fluents: A systematic approach to the representation of knowledge about dynamical systems. Technical Report LITH-IDA-R-92-30, Department of Computer and Information Science, Link\u00f6ping University, September 1992. Second Review Version."},{"key":"6_CR12","unstructured":"E. Sandewall. The range of applicability of nonmonotonic logics for the inertia problem. In Proc. Int'l Joint Conf. on Artificial Intelligence, (IJCAI-93), 1993."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013982.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:08:21Z","timestamp":1607353701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013982"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0013982","relation":{},"subject":[]}}