{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:23:50Z","timestamp":1725474230602},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651383"},{"type":"electronic","value":"9783540495611"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0095062","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T09:01:04Z","timestamp":1164358864000},"page":"309-320","source":"Crossref","is-referenced-by-count":0,"title":["Representing defeasible constraints and observations in action theories"],"prefix":"10.1007","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,19]]},"reference":[{"key":"27_CR1","unstructured":"C. Baral, Reasoning about actions: Non-deterministic effects, constraints, and qualification. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI\u201995), pp2017\u20132023. Morgan Kaufmann Publishers Inc. 1995."},{"key":"27_CR2","unstructured":"C. Baral and J. Lobo, Defeasible specifications in action theories. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI\u201997). Morgan Kaufmann Publishers Inc. 1997."},{"key":"27_CR3","unstructured":"H. Geffner, Causality, constraints and the indirect effects of actions. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI\u201997), pp555\u2013560. Morgan Kaufmann Publishers Inc. 1997."},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365\u2013386, 1991.","journal-title":"New Generation Computing"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz, Representing action and change by logic programs. Journal of Logic Programming, 17:301\u2013322, 1993.","journal-title":"Journal of Logic Programming"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"J. Jab\u0142onowski, W. \u0141ukaszewcz and E. Madali\u0144sks-Bugaj, Reasoning about action and change: Defeasible observations and actions with abnormal effects. In Proceedings of KI-96. Lecture Notes on Artificial Intelligence, Vol 1137, pp136\u2013147, 1996.","DOI":"10.1007\/3-540-61708-6_55"},{"key":"27_CR7","unstructured":"F. Lin, Embracing causality in specifying the indirect effects of actions. In Proceedings of the 14th International Conference on Artificial Intelligence (IJCAI-95), pp1985\u20131993. Morgan Kaufmann Publishers, Inc. 1995."},{"key":"27_CR8","unstructured":"W. Lukaszewcz and E. Madali\u0144sks-Bugaj, Reasoning about action and change using Dijkstra\u2019s semantics for programming language: Preliminary Report. In Proc-ceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI\u201995), pp1950\u20131955. Morgan Kaufmann Publishers Inc. 1995."},{"key":"27_CR9","unstructured":"Y. Zhang and N.Y. Foo, Towards generalized rule-based updates. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI\u201997), pp82\u201388. Morgan Kaufmann Publishers Inc. 1997."},{"key":"27_CR10","unstructured":"Y. Zhang and N.Y. Foo, Answer sets for prioritized logic programs. In Proceedings of the 1997 International Logic Programming Symposium (ILPS\u201997), pp69\u201383. MIT Press, 1997."},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Y. Zhang, Specifying causality in action theories: A default logic approach. Theoretical Computer Science, 1998 (to appear).","DOI":"10.1016\/S0304-3975(99)00011-0"}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0095062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T10:46:09Z","timestamp":1555929969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0095062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651383","9783540495611"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0095062","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}