{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:30Z","timestamp":1725663510852},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540520481"},{"type":"electronic","value":"9783540468721"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-52048-1_33","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:19:58Z","timestamp":1330186798000},"page":"68-77","source":"Crossref","is-referenced-by-count":0,"title":["An autoepistemic logical view of knowledge base"],"prefix":"10.1007","author":[{"given":"Y. J.","family":"Jiang","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"6_CR1","first-page":"293","volume-title":"Negation as failure in logic and database","author":"K. Clark","year":"1978","unstructured":"K. Clark (1978) Negation as failure in logic and database eds. H. Galliare and J. Minker, Plenum, New York, 293\u2013322."},{"key":"6_CR2","unstructured":"E.F. Codd (1982) Relational database: A practical foundation for productivity 25 CACM, 1982, pp.109\u2013117."},{"key":"6_CR3","unstructured":"H. Galliare etal (1984) Logic and database: a deductive approach ACM computing surveys, Vol.16, No.2, June 1984."},{"key":"6_CR4","unstructured":"M. Gelfond (1987) On stratified autoepistemic theories AAAI 87, pp.207\u2013211."},{"key":"6_CR5","unstructured":"Y.J Jiang (1988c) A self-referential data model of knowledge, IFIP conference on the role of AI in database, 1988."},{"key":"6_CR6","unstructured":"Y.J. Jiang (1989) Stratified Autoepistemic Predicate Logic Israel AI Conference, Dec., Jerusalem, 1989."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"K. Konolige (1987) On the relationship between default and autoepistemic logic IJCAI 87.","DOI":"10.21236\/ADA461880"},{"key":"6_CR8","unstructured":"K. Konolige (1988) Hierarchical autoepistemic logic SRI note, 1988."},{"key":"6_CR9","unstructured":"H.J. Levesque (1984) The logic of incomplete knowledge bases On Conceptual Modelling, eds M.Brodie, J.Mylopouos & J.Schmidt, Springer-Verlag, 1984, pp.165\u2013187."},{"key":"6_CR10","first-page":"19","volume-title":"On the semantics of negation of logic programming Fundations of deductive database and logic programming","author":"V. Lifshitz","year":"1988","unstructured":"V. Lifshitz (1988) On the semantics of negation of logic programming Fundations of deductive database and logic programming (J. Minker ed.) Morgan Kaufmann Publishers, L. Altos, CA, pp.19\u201385."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J. Llyod","year":"1985","unstructured":"J. Llyod & W. Topor (1985) A basis for deductive database systems, J. of logic programming 2, pp.93\u2013109.","journal-title":"J. of logic programming"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDermott","year":"1982","unstructured":"D. McDermott (1982) Non-monotonic logic II: non-motonic modal theories in JACM 29 (1) 33\u201357.","journal-title":"JACM"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"R. C. Moore (1985) Semantic considerations of non-monotonic logic AI 25 (1).","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"6_CR14","unstructured":"I. Niemela Autoepistemic Predicate logic ECAI 88, pp.595\u2013599."},{"key":"6_CR15","unstructured":"R. Reiter (1978) On closed world databases Logic and Databases (H.Gallaire & J. Minker eds.), Plenum Press, pp.149\u2013178."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"R. Reiter (1984) Towards a logical reconstruction of relational database theory. in On Conceptual Modelling, eds M.Brodie, J.Mylopouos & J.Schmidt, Springer-Verlag, pp.49\u201383.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"6_CR17","unstructured":"R. Reiter (1988) On integrity constraints Proc of Theoretical aspects of reasoning about knowledge, CA, 1988."},{"key":"6_CR18","volume-title":"An application of general purpose theorem proving to database integrity Foundations of deductive database and logic programming","author":"F. Sadri","year":"1988","unstructured":"F. Sadri & R. Kowalski (1988) An application of general purpose theorem proving to database integrity Foundations of deductive database and logic programming (J. Minker ed.) Morgan Kaufmann Publishers, L. Altos, CA."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52048-1_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:23:09Z","timestamp":1605630189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52048-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540520481","9783540468721"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-52048-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}