{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:29:41Z","timestamp":1737437381339,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540738466"},{"type":"electronic","value":"9783540738473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73847-3_31","type":"book-chapter","created":{"date-parts":[[2007,9,19]],"date-time":"2007-09-19T03:23:12Z","timestamp":1190172192000},"page":"320-334","source":"Crossref","is-referenced-by-count":5,"title":["Learning Modal Theories"],"prefix":"10.1007","author":[{"given":"John W.","family":"Lloyd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kee Siong","family":"Ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/11691792_4","volume-title":"Declarative Agent Languages and Technologies III","author":"J. Lloyd","year":"2006","unstructured":"Lloyd, J., Sears, T.: An architecture for rational agents. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P., et al. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 51\u201371. Springer, Heidelberg (2006)"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Cole, J., Gray, M., Lloyd, J., Ng, K.: Personalisation for user agents. In: Dignum, F., et al. (eds.) 4th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp. 603\u2013610 (2005)","DOI":"10.1145\/1082473.1082565"},{"key":"31_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"31_CR4","series-title":"Studies in Logic and The Foundations of Mathematics","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D. Gabbay","year":"2003","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and The Foundations of Mathematics, vol.\u00a0148. Elsevier, Amsterdam (2003)"},{"key":"31_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08406-9","volume-title":"Logic for Learning","author":"J. Lloyd","year":"2003","unstructured":"Lloyd, J.: Logic for Learning. Springer, Heidelberg (2003)"},{"key":"31_CR6","unstructured":"Lloyd, J.: Knowledge representation and reasoning in modal higher-order logic 2006 (submitted for publication), http:\/\/csl.anu.edu.au\/~jwl"},{"key":"31_CR7","first-page":"229","volume":"2","author":"R. Rivest","year":"1987","unstructured":"Rivest, R.: Learning decision lists. Machine Learning\u00a02, 229\u2013246 (1987)","journal-title":"Machine Learning"},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0004-3702(97)00041-6","volume":"95","author":"L. De Raedt","year":"1997","unstructured":"De Raedt, L.: Logical settings for concept learning. Artificial Intelligence\u00a095, 187\u2013201 (1997)","journal-title":"Artificial Intelligence"},{"key":"31_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1007\/11871842_71","volume-title":"Machine Learning: ECML 2006","author":"K. Ng","year":"2006","unstructured":"Ng, K. (Agnostic) PAC learning concepts in higher-order logic. In: F\u00fcrnkranz, J., Scheffer, T., Spiliopoulou, M. (eds.) ECML 2006. LNCS (LNAI), vol.\u00a04212, pp. 711\u2013718. Springer, Heidelberg (2006)"},{"key":"31_CR10","series-title":"Lecture Notes in Artificial Intelligence","first-page":"117","volume-title":"Inductive Logic Programming","author":"J.U. Kietz","year":"2003","unstructured":"Kietz, J.U.: Learnability of description logic programs. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 117\u2013132. Springer, Heidelberg (2003)"},{"key":"31_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-44960-4_3","volume-title":"Inductive Logic Programming","author":"L. Badea","year":"2000","unstructured":"Badea, L., Nienhuys-Cheng, S.H.: A refinement operator for description logics. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 40\u201359. Springer, Heidelberg (2000)"},{"key":"31_CR12","volume-title":"Learning Concepts by Performing Experiments","author":"C. Sammut","year":"1981","unstructured":"Sammut, C.: Learning Concepts by Performing Experiments. University of New South Wales, Australia (1981)"},{"key":"31_CR13","volume-title":"Interactive Theory Revision: An Inductive Logic Programming Approach","author":"L. De Raedt","year":"1992","unstructured":"De Raedt, L.: Interactive Theory Revision: An Inductive Logic Programming Approach. Academic Press, London (1992)"},{"key":"31_CR14","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73847-3_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T02:55:21Z","timestamp":1737428121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73847-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540738466","9783540738473"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73847-3_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}