{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T18:27:58Z","timestamp":1672338478880},"reference-count":32,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1992,2,1]],"date-time":"1992-02-01T00:00:00Z","timestamp":696902400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1992,2]]},"DOI":"10.1016\/0004-3702(92)90075-9","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"291-307","source":"Crossref","is-referenced-by-count":19,"title":["Belief updating from integrity constraints and queries"],"prefix":"10.1016","volume":"53","author":[{"given":"Luc","family":"De Raedt","sequence":"first","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(92)90075-9_BIB1","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00116828","article-title":"Queries and concept-learning","volume":"2","author":"Angluin","year":"1987","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(92)90075-9_BIB2","series-title":"Proceedings of the ACM-SIGMOND Conference","first-page":"16","article-title":"An amateur's introduction to recursive query processing strategies","volume":"15","author":"Bancilhon","year":"1986"},{"key":"10.1016\/0004-3702(92)90075-9_BIB3","first-page":"474","article-title":"Guiding induction with domain theories","volume":"3","author":"Bergadano","year":"1990"},{"key":"10.1016\/0004-3702(92)90075-9_BIB4","year":"1990"},{"key":"10.1016\/0004-3702(92)90075-9_BIB5","series-title":"Proceedings 7th International Conference on Logic Programming","first-page":"561","article-title":"Intensional updates: abduction via deduction","author":"Bry","year":"1990"},{"key":"10.1016\/0004-3702(92)90075-9_BIB6","series-title":"Logic programming and databases","author":"Ceri","year":"1990"},{"key":"10.1016\/0004-3702(92)90075-9_BIB7","article-title":"Drawing updates from derivations","volume":"470","author":"Decker","year":"1990"},{"key":"10.1016\/0004-3702(92)90075-9_BIB8","series-title":"Proceedings IJCAI-89","first-page":"849","article-title":"Towards friendly concept-learners","author":"De Raedt","year":"1989"},{"key":"10.1016\/0004-3702(92)90075-9_BIB9","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S1042-8143(05)80014-7","article-title":"Indirect relevance and bias in inductive concept-learning","volume":"2","author":"De Raedt","year":"1990","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/0004-3702(92)90075-9_BIB10","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic and databases: a deductive approach","volume":"16","author":"Gallaire","year":"1984","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/0004-3702(92)90075-9_BIB11","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","article-title":"Updating knowledge bases","volume":"8","author":"Guessoum","year":"1990","journal-title":"New Generation Comput."},{"key":"10.1016\/0004-3702(92)90075-9_BIB12","doi-asserted-by":"crossref","unstructured":"A. Guessoum and J.W. Lloyd, Updating knowledge bases ii, New Generation Comput., to appear.","DOI":"10.1007\/BF03037523"},{"key":"10.1016\/0004-3702(92)90075-9_BIB13","series-title":"Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning","first-page":"149","article-title":"Induction as nonmonotonic inference","author":"Helft","year":"1989"},{"key":"10.1016\/0004-3702(92)90075-9_BIB14","series-title":"Proceedings 16th International Conference on Very Large Databases","first-page":"650","article-title":"Database updates through abduction","author":"Kakas","year":"1990"},{"key":"10.1016\/0004-3702(92)90075-9_BIB15","volume":"3","year":"1990"},{"key":"10.1016\/0004-3702(92)90075-9_BIB16","author":"Lloyd","year":"1987"},{"key":"10.1016\/0004-3702(92)90075-9_BIB17","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","article-title":"Integrity constraint checking in stratified databases","volume":"4","author":"Lloyd","year":"1987","journal-title":"J. Logic Progam."},{"key":"10.1016\/0004-3702(92)90075-9_BIB18","volume":"1","author":"Michalski","year":"1983"},{"key":"10.1016\/0004-3702(92)90075-9_BIB19","volume":"2","author":"Michalski","year":"1986"},{"key":"10.1016\/0004-3702(92)90075-9_BIB20","article-title":"The need for biases in learning generalizations","author":"Mitchell","year":"1980"},{"key":"10.1016\/0004-3702(92)90075-9_BIB21","series-title":"Proceedings 1st Workshop on Inductive Logic Programming","year":"1991"},{"key":"10.1016\/0004-3702(92)90075-9_BIB22","series-title":"Proceedings 5th International Conference on Machine Learning","first-page":"339","article-title":"Machine invention of first order predicates by inverting resolution","author":"Muggleton","year":"1988"},{"key":"10.1016\/0004-3702(92)90075-9_BIB23","article-title":"Refining knowledge base updates","author":"Pereira","year":"1989","journal-title":"Tech. Report, AI Center\/UNINOVA, Portugal"},{"key":"10.1016\/0004-3702(92)90075-9_BIB24","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00117105","article-title":"Learning logical definition from relations","volume":"5","author":"Quinlan","year":"1990","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(92)90075-9_BIB25","series-title":"Proceedings 4th European Working Session on Learning","first-page":"201","article-title":"A simple solution for inverting resolution","author":"Rouveirol","year":"1989"},{"key":"10.1016\/0004-3702(92)90075-9_BIB26","series-title":"Machine Learning, Meta-Reasoning and Logics","first-page":"19","article-title":"A sketch of autonomous learning using declarative bias","author":"Russell","year":"1990"},{"key":"10.1016\/0004-3702(92)90075-9_BIB27","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"313","article-title":"A theorem proving approach to database integrity","author":"Sadri","year":"1987"},{"key":"10.1016\/0004-3702(92)90075-9_BIB28","first-page":"167","article-title":"Learning concepts by asking questions","volume":"2","author":"Sammut","year":"1986"},{"key":"10.1016\/0004-3702(92)90075-9_BIB29","author":"Shapiro","year":"1983"},{"key":"10.1016\/0004-3702(92)90075-9_BIB30","first-page":"338","article-title":"View update translation via deduction and annotation","volume":"326","author":"Tomasic","year":"1988"},{"key":"10.1016\/0004-3702(92)90075-9_BIB31","author":"Ullmann","year":"1989"},{"key":"10.1016\/0004-3702(92)90075-9_BIB32","series-title":"Proceedings 2nd National Conference On Artificial Intelligence","first-page":"414","article-title":"Acquisition of appropriate bias for concept learning","author":"Utgoff","year":"1982"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370292900759?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370292900759?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:28:37Z","timestamp":1553646517000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370292900759"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,2]]},"references-count":32,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1992,2]]}},"alternative-id":["0004370292900759"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(92)90075-9","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1992,2]]}}}