{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:06:16Z","timestamp":1725570376956},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_13","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T22:10:11Z","timestamp":1290204611000},"page":"173-185","source":"Crossref","is-referenced-by-count":0,"title":["Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules"],"prefix":"10.1007","author":[{"given":"V\u00e9ronique","family":"Ventos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Br\u00e9zellec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Soldano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"13_CR1","unstructured":"M. Bain and S. Muggleton, \u2018Non-monotonic learning\u2019, in Knowledge Representation and Organization in Machine Learning, ed., Stephen Muggleton, 289\u2013319, ACADEMIC PRESS LIMITED, (1992). 174"},{"key":"13_CR2","first-page":"278","volume":"1","author":"A. Borgida","year":"1994","unstructured":"A. Borgida and P. F. Patel-Schneider, \u2018Complete algorithm for subsumption in the CLASSIC description logic\u2018, Artificial Intelligence Research, 1, 278\u2013308, (1994). 175","journal-title":"Artificial Intelligence Research"},{"key":"13_CR3","unstructured":"R. J. Brachman, \u2018A structuralpa radigm for representing knowledge\u2019, Technical Report 3605, BBN Report, (1978). 175"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0004-3702(88)90001-X","volume":"36","author":"W. Buntine","year":"1988","unstructured":"W. Buntine, \u2018Generalized subsumption and its application to induction and redundancy\u2019, Artificial Intelligence, 36, (1988). 177","journal-title":"Artificial Intelligence"},{"key":"13_CR5","unstructured":"W. W. Cohen, A. Borgida, and H. Hirsh, \u2018Computing least common subsumers in description logics\u2019, in 10th National Conference of the American Association for Artificial Intelligence, pp. 754\u2013760, San Jose, California, (1992). 177"},{"issue":"4","key":"13_CR6","first-page":"169","volume":"2","author":"W. W. Cohen","year":"1994","unstructured":"W. W. Cohen and H. Hirsh, \u2018The learnability of description logics with equality constraints\u2019, Machine Learning, 2(4), 169\u2013199, (1994). 175, 178","journal-title":"Machine Learning"},{"key":"13_CR7","unstructured":"W. W. Cohen and H. Hirsh, \u2018Learning the CLASSIC description logic: theoretical and experimentalresu lts\u2019, in International Conference on Knowledge Representation and Reasoning, 121\u2013133, (1994). 173, 175, 178"},{"issue":"2","key":"13_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/0824-7935.00040","volume":"13","author":"P. Coupey","year":"1997","unstructured":"P. Coupey and C. Fouquer\u00e9, \u2018Extending conceptual definitions with default knowledge\u2019, Computational Intelligence, 13(2), (1997). 175","journal-title":"Computational Intelligence"},{"key":"13_CR9","unstructured":"Y. Dimopoulos and A. Kakas, \u2018Learning non-monotonic logic programs: learning exceptions\u2019, in Proceedings of the 11th European Conference on Artificial Intelligence, 1995, ed., Springer-Verlag, pp. 107\u2013121, (1995). 174, 183"},{"key":"13_CR10","unstructured":"Y. Dimopoulos and A. Kakas, \u2018Abduction and inductive learning\u2019, in Advances in Inductive Logic Programming, ed., L. De Raedt, pp. 144\u2013171, (1996). 183"},{"key":"13_CR11","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt, \u2018The complexity of concept languages\u2019, in Principles of Knowledge Representation and Reasoning: 2nd International Conference, eds., J. A. Allen R. Fikes and E Sandewall, pp. 151\u2013162, Cambridge, Mass., (1991). 174"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0004-3702(91)90029-J","volume":"48","author":"J. Doyle","year":"1991","unstructured":"J. Doyle and R. S. Patil, \u2018Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services\u2019, Artificial Intelligence, 48(3), 261\u2013297, (1991). 175","journal-title":"Artificial Intelligence"},{"key":"13_CR13","unstructured":"K. Inoue and C. Sakama, \u2018Abducing priorities to derive intended conclusions\u2019, in 16th International Joint Conference on Artificial Intelligence, pp. 44\u201349, Japan, (1999). 183"},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1023\/A:1022626200450","volume":"14","author":"J. U. Kietz","year":"1994","unstructured":"J. U. Kietz and K. Morik, \u2018A polynomial approach to the constructive induction of structuralk nowledge\u2019, Machine Learning, 14(2), 193\u2013217, (1994). 175","journal-title":"Machine Learning"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"S. Muggleton, \u2018Inductive logic programming\u2019, New Generation Computing, 8, 295\u2013318, (1991). 173","journal-title":"New Generation Computing"},{"key":"13_CR16","unstructured":"S. Muggleton and C. Feng, \u2018Efficient induction of logic programs\u2019, in Inductive Logic programming, ACADEMIC PRESS, (1992). 178"},{"key":"13_CR17","first-page":"173","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"S. Muggleton and L. De Raedt, \u2018Inductive logic programming: Theory and methods\u2019, Journal of Logic Programming, 19, (1994). 173","journal-title":"Journal of Logic Programming"},{"key":"13_CR18","series-title":"Technical report, KIT-Report","volume-title":"The flex system","author":"J. Quantz","year":"1996","unstructured":"J. Quantz, G. Dunker, F. Bergmann, and I. Kellner, \u2018The flex system\u2019, Technical report, KIT-Report, Technische Universit\u00e4t, Berlin, Germany, (1996). 175"},{"key":"13_CR19","first-page":"294","volume-title":"Principles of Knowledge Representation and Reasoning: 3rd International Conference","author":"J. Quantz","year":"1992","unstructured":"J. Quantz and V. Royer, \u2018A preference semantics for defaults in terminological logics\u2019, in Principles of Knowledge Representation and Reasoning: 3rd International Conference, 294\u2013305, Bernhard Nebel, Charles Rich and William Swartout, Cambridge, MA., USA, (1992). 184"},{"key":"13_CR20","first-page":"183","volume-title":"Proceedings of the Innovative Applications of Artificial Intelligence Conferences","author":"J. R. Wright","year":"1993","unstructured":"J. R. Wright, E. S. Weixelbaum, K. Brown, G. T. Vesonder, S. R. Palmer, J. I. Berman, and H. H. Moore, \u2018A knowledge-based configurator that supports sales, engineering and manufacturing at att bell network systems\u2019, in Proceedings of the Innovative Applications of Artificial Intelligence Conferences, pp. 183\u2013193, Menlo Park, California, USA, (1993). 175"},{"key":"13_CR21","unstructured":"V. Ventos, P. Br\u00e9zellec, P. Coupey, and H. Soldano, \u2018C-classic\u03c3\u2208: un langage de descriptions pac-learnable\u2019, in Actes Journ\u00e9es Acquisition Validation Apprentissage, JAVA95, pp. 192\u2013196, Grenoble, France, (1995). 174, 179"},{"key":"13_CR22","unstructured":"V. Ventos, \u2018A deductive study of c-classic\u03c3\u2208\u2019, in Proceedings of the International Workshop in Description Logics 96, pp. 192\u2013196, Boston, USA, (1996). 174, 177"},{"key":"13_CR23","unstructured":"V. Ventos, C-CLASSIC\u03c3\u2208: une logique de descriptions pour la d\u00e9finition et l\u2019apprentissage de concepts avec d\u00e9fauts et exceptions, PhD thesis, France, 1997. 174, 177, 179, 180, 181"},{"key":"13_CR24","unstructured":"V. Ventos, P. Br\u00e9zellec, P. Coupey, and H. Soldano, \u2018Lcs operation in c-classic\u03c3\u2208: formalp roperties and applications\u2019, in International KRUSE Symposium Knowledge Retrieval, Use, and Storage for Efficiency, pp. 124\u2013135, Vancouver, Canada, (1997). 177"},{"key":"13_CR25","unstructured":"V. Ventos, P. Br\u00e9zellec, H. Soldano, and D. Bouthinon \u2018Learning concepts in c-classic\u03c3\u2208\u2019, in Proceedings of the International Workshop on Description Logics 98, pp. 50\u201354, Trento, Italy, (1998). 174"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T19:42:19Z","timestamp":1538854939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}