{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:14Z","timestamp":1747548374059},"reference-count":62,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1080\/11663081.1997.10510902","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:14:49Z","timestamp":1338365689000},"page":"117-146","source":"Crossref","is-referenced-by-count":13,"title":["Minimal and consistent evolution of knowledge bases"],"prefix":"10.1080","volume":"7","author":[{"given":"Jorge","family":"Lobo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Goce","family":"Trajcevski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","first-page":"1","volume-title":"Second International Conference on Database Theory- ICDT","author":"Abiteboul S.","year":"1988"},{"key":"CIT0002","volume-title":"Foundations of Databases. Addison- Wesley","author":"Abiteboul S.","year":"1995"},{"issue":"2","key":"CIT0003","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274239","volume":"50","author":"Alchourron C.","year":"1985","journal-title":"The Journal of Symbolic Logic"},{"key":"CIT0004","first-page":"617","volume-title":"Proceedings of the 7th International Conference on Logic Programming","author":"Apt K. R.","year":"1990"},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Apt K. R.","year":"1988"},{"issue":"1","key":"CIT0006","doi-asserted-by":"crossref","DOI":"10.1080\/11663081.1995.10510843","volume":"5","author":"Aravindan C.","year":"1995","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"CIT0007","first-page":"104","volume-title":"Symposium on Mathematical Foundations of Database and Knowledge Base Systems","author":"Atzeni P.","year":"1991"},{"key":"CIT0008","first-page":"278","volume-title":"2nd International Conference on Deductive and Object-Oriented Databases\u2014DOOD'91","author":"Atzeni P.","year":"1991"},{"key":"CIT0009","first-page":"557","volume-title":"ACM Transactions on Database Systems","author":"Banchilon F.","year":"1981"},{"key":"CIT0010","volume-title":"Proceedings of the 7th International Conference on Logic Programming. Morgan\u2014Kaufmann","author":"Bry F.","year":"1990"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1007\/3-540-19074-0_69","volume-title":"Advances in Database Technology-EDBT'88","author":"Bry F.","year":"1988"},{"key":"CIT0012","first-page":"243","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Chakravarthy U. S.","year":"1987"},{"key":"CIT0013","volume-title":"Logic and Data Bases. Plenum Press","author":"Clark K. L.","year":"1978"},{"key":"CIT0014","first-page":"437","volume-title":"Third International Conference on Database Theory- ICDT","author":"Decker H.","year":"1990"},{"key":"CIT0015","first-page":"158","volume-title":"Proceedings of the 12th ACM-PODS Symposium","author":"Eiter T.","year":"1993"},{"key":"CIT0016","first-page":"1","volume":"3","author":"Fagin R.","year":"1986","journal-title":"Advances in Computing Research"},{"key":"CIT0017","volume-title":"Generating Cooperative Answers in Deductive Databases. PhD thesis, University of Maryland","author":"Gaasterland T.","year":"1992"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1080\/00048408412341331","volume":"62","author":"Gardenfors P.","year":"1984","journal-title":"Australian Journal of Philosophy"},{"issue":"3","key":"CIT0019","doi-asserted-by":"crossref","DOI":"10.1145\/116825.116838","volume":"38","author":"Van Gelder A.","year":"1991","journal-title":"Journal of ACM"},{"key":"CIT0020","volume-title":"Logical Foundations of Artificial Intelligence. Morgan Kaufmann","author":"Genesereth M.","year":"1988"},{"key":"CIT0021","unstructured":"Grant, J. and Minker, J. 1989. \u201cIntegrity constraints in knowledge based systems. Technical Report 89\u201439, University of Maryland\u201d."},{"key":"CIT0022","unstructured":"Grover, N. 1994. \u201cAutomatic generation of user interfaces for view updates. University of Illinois at Chicago, Master's Project\u201d."},{"key":"CIT0023","doi-asserted-by":"crossref","unstructured":"Guessoum, A. and Lloyd, J. W. 1989. \u201cUpdating knowledge bases. Technical Report TR-89-05, Dept. of Computer Science\u2014University of Bristol\u201d.","DOI":"10.1007\/BF03037514"},{"key":"CIT0024","first-page":"127","volume-title":"Proceedings of the ICLP'95 Joint Workshop","author":"Hinkelmann K.","year":"1995"},{"issue":"6","key":"CIT0025","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"Kakas A. C.","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"CIT0026","volume-title":"Proceedings of the 16th VLDB Conference","author":"Kakas A. C.","year":"1990"},{"key":"CIT0027","unstructured":"Katsuno, H. and Mendelzon, A. O. 1990. \u201cPropositional knowledge base revision and minimal change. Technical Report KRR-TR-90-3, University of Toronto\u201d."},{"key":"CIT0028","volume-title":"Proceedings of the 6th ICLP","author":"Kowalski R. A.","year":"1989"},{"key":"CIT0029","unstructured":"Kowalski, R. A. and Sadri, F. 1988. \u201cKnowledge representation without integrity constraint. Technical report, Dept. of Computing\u2014Imperial College of Science and Technology, London\u201d."},{"key":"CIT0030","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming. Symbolic Computation Series. Springer\u2014Verlag","author":"Lloyd J. W.","year":"1984"},{"key":"CIT0031","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"Lloyd J. W.","year":"1986","journal-title":"Journal of Logic Programming"},{"key":"CIT0032","volume-title":"Foundations of Disjunctive Logic Programming.","author":"Lobo J.","year":"1992"},{"key":"CIT0033","volume-title":"Fundamenta Informaticae","author":"Lobo J.","year":"1996"},{"key":"CIT0034","first-page":"143","volume-title":"Proceedings of the ICLP'95 Joint Workshop","author":"Nayak A. C.","year":"1995"},{"key":"CIT0035","first-page":"93","volume-title":"Proceedings of the 8th International Symposium ACM\u2014PODS","author":"Manchanda S.","year":"1989"},{"key":"CIT0036","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/B978-0-934613-40-8.50014-2","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Manchanda S.","year":"1988"},{"key":"CIT0037","volume-title":"Proceedings of the BIWIT'95. IEEE Computer Society Press","author":"Mayol E.","year":"1995"},{"key":"CIT0038","first-page":"1413","volume-title":"11th International Conference on AI","author":"Mendelzon A.","year":"1989"},{"key":"CIT0039","first-page":"670","volume-title":"ACM TODS","author":"Moerkotte G.","year":"1991"},{"key":"CIT0040","first-page":"227","volume-title":"Proceedings of the 6th International Symposium A CM\u2014PODS","author":"Naughton J. F.","year":"1987"},{"key":"CIT0041","volume-title":"Proceedings of the 17th Conference on VLDB","author":"Oliv\u00e9 A.","year":"1991"},{"key":"CIT0042","volume-title":"Collected Papers of Charles Sanders Pierce","author":"Pierce C. S."},{"key":"CIT0043","first-page":"143","volume-title":"Proceedings of the 9th IJCAI","author":"Poole D.","year":"1986"},{"key":"CIT0044","first-page":"905","volume-title":"Proceedings of the 10th IJCAI","author":"Poole D.","year":"1987"},{"key":"CIT0045","volume-title":"Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann","author":"Przymusinski T.","year":"1987"},{"key":"CIT0046","volume-title":"Fundamenta Informaticae","author":"Przymusinski T.","year":"1989"},{"key":"CIT0047","volume-title":"Logic and Databases. Plenum Publishing Corporation","author":"Reiter R.","year":"1978"},{"key":"CIT0048","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/BFb0032420","volume-title":"Advances in Database Technology-EDBT","author":"Reiter R.","year":"1992"},{"key":"CIT0049","volume-title":"Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning","author":"Reiter R.","year":"1994"},{"key":"CIT0050","volume-title":"The SLG-WAM: A Search Efficient Engine for Weil-Founded Evaluation of Normal Logic Programs. PhD thesis, SUNY at Stony Brook","author":"Sagonas K.","year":"1996"},{"key":"CIT0051","volume-title":"ACM-SIGMOD","author":"Sagonas K.","year":"1994"},{"key":"CIT0052","first-page":"111","volume-title":"Proceedings of the ICLP'95 Joint Workshop","author":"Teniente E.","year":"1995"},{"key":"CIT0053","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BFb0032435","volume-title":"Advances in Database Technology\u2014EDBT","author":"Teniente E.","year":"1992"},{"issue":"2","key":"CIT0054","volume":"4","author":"Temente E.","year":"1995","journal-title":"VLDB Journal"},{"key":"CIT0055","first-page":"338","volume-title":"Second International Conference on Database Theory- ICDT'88","author":"Tomasic A.","year":"1988"},{"key":"CIT0056","volume-title":"Abductive Logic Programming. PhD thesis, Imperial College, London","author":"Toni F.","year":"1995"},{"key":"CIT0057","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/B978-0-934613-40-8.50010-5","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Topor R. W.","year":"1988"},{"key":"CIT0058","unstructured":"Trajcevski, G. 1995. \u201cMinimality of view updates in deductive databases. Master's thesis, University of Illinois at Chicago\u201d. (www.eecs.uic.edu\/~gtrajcev\/msth.ps)"},{"key":"CIT0059","volume-title":"IEEE-Tools for Artificial Inteligence","author":"Trajcevski G.","year":"1996"},{"key":"CIT0060","volume-title":"Principles of Database and Knowledge-base Systems. Addison\u2014Wesley","author":"Ullman J. D.","year":"1989"},{"key":"CIT0061","first-page":"409","volume-title":"Third International Conference on Database Theory-ICDT","author":"Willard L.","year":"1990"},{"key":"CIT0062","volume-title":"3rd International Symposium on Commonsense Reasoning","author":"Williams M.-A.","year":"1996"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T07:08:44Z","timestamp":1561792124000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1997.10510902"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":62,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["10.1080\/11663081.1997.10510902"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1997.10510902","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}