{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T18:59:56Z","timestamp":1766084396698},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01530762","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T03:03:26Z","timestamp":1113879806000},"page":"89-116","source":"Crossref","is-referenced-by-count":63,"title":["Logic programming and reasoning with incomplete information"],"prefix":"10.1007","volume":"12","author":[{"given":"Michael","family":"Gelfond","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"N. Bidoit and C. Froidevaux, Minimalism subsumes default logic and circumscription, in:Proc. LICS-87 (1987) pp. 89?97."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"C. Baral, J. Lobo and J. Minker, Wf3: A semantics for negation in normal disjunctive logic programs, in:Proc. Int. Symp. Methodologies of Intelligent Systems (1991).","DOI":"10.1007\/3-540-54563-8_109"},{"key":"CR3","unstructured":"C. Sakama, Possible model semantics for disjunctive databases, in:Proc. 1st Int. Conf. on Deductive and Object Oriented Databases (1989) pp. 1055?1060."},{"key":"CR4","unstructured":"E. Chan, A possible world semantics for non-horn databases, Technical Report CS-89-47, University of Waterloo (1989)."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"K. Clark, Negation as failure, in:Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum, New York, 1978) pp. 293?322."},{"key":"CR6","unstructured":"M. Gelfond, On stratified autoepistemic theories, in: Proc. AAAI-87 (1987) 207?211."},{"key":"CR7","unstructured":"M. Gelfond, Strong introspection, in: Proc. AAAI-91 (1991) 386?391."},{"key":"CR8","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in:Logic Programming: Proc. 5th Int. Conf. Symp., eds. R. Kowalski and K. Bowen (1988) pp. 1070?1080."},{"key":"CR9","unstructured":"M. Gelfond and V. Lifschitz, Logic programs with classical negation, in:Logic Programming: Proc. 7th Int. Conf., eds. D. Warren and P. Szeredi (1990) pp. 579?597."},{"key":"CR10","unstructured":"M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Comp. (1991) pp. 365?387."},{"key":"CR11","unstructured":"M. Gelfond, V. Lifschitz, H. Przymusi?ska and M. Truszczy?ski, Disjunctive defaults, in:Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf. eds. J. Allen, R. Fikes and E. Sandewall (1991) pp. 230?237."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(86)90001-9","volume":"30","author":"M. Gelfond","year":"1986","unstructured":"M. Gelfond and H. Przymusinska, Negation as failure: Careful closure procedure, Artificial Intelligence 30 (1986) 273?287.","journal-title":"Artificial Intelligence"},{"key":"CR13","unstructured":"M. Gelfond and H. Przymusi?ska, Definitions in epistemic specifications, in:Logic Programming and Non-monotonic Reasoning: Proc. 1st Int. Workshop, eds. A. Nerod, V. Marek and V.S. Subramanian (1991) pp. 245?259."},{"key":"CR14","unstructured":"M. Gelfond, H. Przymusinska and T. Przymusinski, The extended closed world assumption and its relation to parallel circumscription, in:Proc. 5th ACM Symp. on Principles of Database Systems (1986) pp. 133?139."},{"key":"CR15","unstructured":"R. Kowalski and F. Sadri, Logic programs with exceptions, in:Logic Programming: Proc. 7th Int. Conf., eds. D. Warren and P. Szeredi (1990) pp. 598?613."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(86)90068-8","volume":"30","author":"H. Levesque","year":"1986","unstructured":"H. Levesque, Making believers out of computers, Artificial Intelligence 30 (1986) 81?108.","journal-title":"Artificial Intelligence"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H. Levesque","year":"1990","unstructured":"H. Levesque, All I know: a study in autoepistemic logic, Artificial Intelligence 42 (1990) 263?310.","journal-title":"Artificial Intelligence"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"J. Lobo, J. Minker and A. Rajasekar,Foundations of Disjunctive Logic Programming (MIT Press, 1992).","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"3","author":"J. Lloyd","year":"1984","unstructured":"J. Lloyd and R. Topor, Making prolog more expressive, J. Logic Progr. 3 (1984) 225?240.","journal-title":"J. Logic Progr."},{"issue":"1, 2","key":"CR20","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy, Circumscription ? a form of non-monotonic reasoning, Artificial Intelligence 13(1, 2) (1980) 27?39, 171?172.","journal-title":"Artificial Intelligence"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"D. McDermott and J. Doyle, Nonmonotonic logic I, Artificial Intelligence 13 (1980) 41?72.","journal-title":"Artificial Intelligence"},{"key":"CR22","unstructured":"J. Minker, On indefinite data bases and the closed world assumption, in:Proc. CADE-82 (1982) pp. 292?308."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"R. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence 25 (1985) 75?94.","journal-title":"Artificial Intelligence"},{"key":"CR24","unstructured":"W. Marek and M. Truszczy?ski, Modal logic for default reasoning, to appear."},{"key":"CR25","unstructured":"L. Pereira, L. Caires and J. Alferes, Hypothetical reasoning with well founded semantics, in:Proc. 3rd Scand. Conf. on AI (1991)."},{"key":"CR26","first-page":"321","volume-title":"Formal Techniques in Artificial Intelligence","author":"H. Przymusinska","year":"1990","unstructured":"H. Przymusinska and T. Przymusinski, Semantic issues in deductive databases and logic programs, in:Formal Techniques in Artificial Intelligence, ed. R. Manerji (North-Holland, Amsterdam, 1990) pp. 321?367."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. Przymusinski","year":"1988","unstructured":"T. Przymusinski, On the declarative semantics of deductive databases and logic programs, in:Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, San Mateo, CA, 1988) pp. 193?216."},{"key":"CR28","unstructured":"T. Przymusinski, Extended stable semantics for normal and disjunctive programs, in:Logic Programming: Proc. 7th Int. Conf., eds. D. Warren and P. Szeredi (1990) pp. 459?477."},{"key":"CR29","unstructured":"D. Pearce and G. Wagner, Reasoning with negative information 1 ? strong negation in logic programming, Technical Report, Gruppe f\u00fcr Logic, Wissentheorie and Information, Freie Universit\u00e4t Berlin (1989)."},{"key":"CR30","first-page":"119","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter, On closed world data bases, in:Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum, New York, 1978) pp. 119?140."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81?132.","journal-title":"Artificial Intelligence"},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"R. Reiter, On asking what a database knows, in:Computational Logic: Symp. Proc, ed. J. Lloyd (Springer, 1990) pp. 96?113.","DOI":"10.1007\/978-3-642-76274-1_4"},{"issue":"4","key":"CR33","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF00297247","volume":"4","author":"K. Ross","year":"1988","unstructured":"K. Ross and R. Topor, Inferring negative information from disjunctive databases, J. Automated Reasoning 4(4) (1988) 397?424.","journal-title":"J. Automated Reasoning"},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"G. Wagner, Database needs two kinds of negation, in:Proc. MFDBS-91, Lecture Notes in Computer Science, 495 (1991).","DOI":"10.1007\/3-540-54009-1_25"},{"key":"CR35","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"L. Yahya","year":"1985","unstructured":"L. Yahya and A. Henschen, Deduction in non-horn databases, J. Automated Reasoning 1 (1985) 141?160.","journal-title":"J. Automated Reasoning"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530762\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530762.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530762\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530762","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:04:00Z","timestamp":1586217840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530762"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":35,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530762"],"URL":"https:\/\/doi.org\/10.1007\/bf01530762","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}