{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:16:13Z","timestamp":1725560173617},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281771"},{"type":"electronic","value":"9783540318514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11536314_17","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T18:45:23Z","timestamp":1279737923000},"page":"279-294","source":"Crossref","is-referenced-by-count":6,"title":["Induction of the Indirect Effects of Actions by Monotonic Methods"],"prefix":"10.1007","author":[{"given":"Ramon P.","family":"Otero","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-540-39917-9_20","volume-title":"Inductive Logic Programming","author":"R. Otero","year":"2003","unstructured":"Otero, R.: Induction of the effects of actions by monotonic methods. In: Horv\u00e1th, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol.\u00a02835, pp. 299\u2013310. Springer, Heidelberg (2003)"},{"key":"17_CR2","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming: Proc. of the Fifth Int\u2019l Conf. and Symp., pp. 1070\u20131080 (1988)"},{"key":"17_CR3","first-page":"245","volume":"13","author":"V. Lifschitz","year":"1995","unstructured":"Lifschitz, V.: Action languages, answers sets and planning. Artificial Intelligence\u00a013, 245\u2013286 (1995)","journal-title":"Artificial Intelligence"},{"key":"17_CR4","unstructured":"Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Proc. of the 14th International Joint Conference on Artificial Intelligence, IJCAI 1995, pp. 1985\u20131991 (1995)"},{"key":"17_CR5","unstructured":"Otero, R.P.: Pertinence logic for reasoning about actions and change. Technical Report TR-AI-97-03, AILab, University of Corunna, Galicia, Spain (1997)"},{"key":"17_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-44797-0_16","volume-title":"Inductive Logic Programming","author":"R. Otero","year":"2001","unstructured":"Otero, R.: Induction of stable models. In: Rouveirol, C., Sebag, M. (eds.) ILP 2001. LNCS (LNAI), vol.\u00a02157, pp. 193\u2013205. Springer, Heidelberg (2001)"},{"key":"17_CR7","unstructured":"Muggleton, S., Feng, C.: Efficient induction of logic programs. Inductive Logic Programming (1992)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/3-540-56602-3_131","volume-title":"Machine Learning: ECML-93","author":"J. Kietz","year":"1993","unstructured":"Kietz, J.: Some lower bounds on the computational complexity of inductive logic programming. In: Brazdil, P.B. (ed.) ECML 1993. LNCS, vol.\u00a0667, pp. 115\u2013123. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11536314_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:36Z","timestamp":1605643896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11536314_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281771","9783540318514"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11536314_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}