{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T10:59:30Z","timestamp":1757588370723},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1993,9,1]],"date-time":"1993-09-01T00:00:00Z","timestamp":746841600000},"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":[[1993,9]]},"DOI":"10.1007\/bf01530802","type":"journal-article","created":{"date-parts":[[2005,4,18]],"date-time":"2005-04-18T20:24:51Z","timestamp":1113855891000},"page":"449-474","source":"Crossref","is-referenced-by-count":26,"title":["Disjunctive LP+integrity constraints= stable model semantics"],"prefix":"10.1007","volume":"8","author":[{"given":"Jos\ufffd Alberto","family":"Fern\ufffdndez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack","family":"Minker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","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":"K.R. Apt","year":"1988","unstructured":"K.R. Apt, H.A. Blair and A. Walker, Towards a theory of declarative knowledge, in:Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, Washington, D.C., 1988) pp. 89?148."},{"key":"CR2","unstructured":"C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian, Computation and implementation of non-monotonic deductive databases, Technical Report CS-TR-2801, University of Maryland (1991). Submitted for journal publication."},{"key":"CR3","unstructured":"J. Cuadrado and S. Pimentel, A truth maintenance system based on stable models, in:Proc. 1989 North American Conf. on Logic Programming (1989) pp. 274?290."},{"key":"CR4","unstructured":"J.A. Fern\u00e1ndez and J. Minker, Bottom-up evaluation of disjunctive deductive databases, Technical Report, Computer Science Department, University of Maryland (1991), in preparation."},{"key":"CR5","unstructured":"J.A. Fern\u00e1ndez and J. Minker, Bottom-up evaluation of hierarchical disjunctive deductive databases, in:Proc. 8th Int. Conf. on Logic Programming, ed. K. Furukawa (MIT Press, 1991)."},{"key":"CR6","unstructured":"J.A. Fern\u00e1ndez and J. Minker, Computing perfect models of disjunctive stratified databases, in:Proc. ILPS'91 Workshop on Disjunctive Logic Programs, San Diego, CA (October 1991), ed. D. Loveland et al., pp. 110?117. An extended version has been submitted to Annals of Mathematical Artificial Intelligence."},{"key":"CR7","volume-title":"Master's Thesis","author":"L.O. Fuentes","year":"1991","unstructured":"L.O. Fuentes, Applying uncertainty formalisms to well-defined problems, Master's Thesis, University of Texas at El Paso (1991)."},{"key":"CR8","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in:Proc. 5th Int. Conf. and Symp. on Logic Programming, Seattle, Washington (August, 1988), ed. R.A. Kowalski and K.A. Bowen, pp. 1070?1080."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-1-4684-3384-5_4","volume-title":"Logic and Data Bases","author":"R.A. Kowalski","year":"1978","unstructured":"R.A. Kowalski, Logic for data description, in:Logic and Data Bases, ed. H. Gallaire and J. Minker (Plenum Press, New York, 1978) pp. 77?102."},{"key":"CR10","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(1980) 27?39.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"CR11","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0304-3975(92)90019-C","volume":"10","author":"W. Marek","year":"1992","unstructured":"W. Marek and V.S. Subrahmanian, The relationship between stable, supported, default and autoepistemic semantics for general logic programs, Theor. Comp. Sci. 10(3)(1992)365?386.","journal-title":"Theor. Comp. Sci."},{"key":"CR12","unstructured":"W. Marek and M. Truszczynski, Stable semantics for logic programs and default theories, in:Proc. 1989 North American Conf. on Logic Programming, ed. E. Lusk and R. Overbeek (MIT Press, 1989) pp. 243?256."},{"key":"CR13","unstructured":"T.C. Przymusinski, On the semantics of stratified deductive databases, in:Proc. Workshop on Foundations of Deductive Databases and Logic Programming, ed. J. Minker, Washington, D.C. (1986) pp. 433?443."},{"key":"CR14","unstructured":"T.C. Przymusinki, Extended stable semantics for normal and disjunctive programs, in:Proc. 7th Int. Conf. on Logic Programming, Jerusalem, 1990 (MIT Press), Extended Abstracts, pp. 459?477."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T.C. Przymusinski","year":"1991","unstructured":"T.C. Przymusinski, Stable semantics for disjunctive programs, New Generation Comput. J. 9(1991) 401?424. Extended Abstract appeared in [14].","journal-title":"New Generation Comput. J."},{"key":"CR16","first-page":"163","volume-title":"On Conceptual Modelling","author":"R. Reiter","year":"1984","unstructured":"R. Reiter, Towards a logical reconstruction of relational database theory, in:On Conceptual Modelling, ed. M.L. Brodie et al. (Springer, New York, 1984) pp. 163?189."},{"key":"CR17","unstructured":"R. Reiter, What should a database know? in:Proc. 7th Int. Conf. on Logic Programming, Jerusalem (1990), Abstract of Invited Talk, p. 765."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski, The semantics of predicate logic as a programming language, J. ACM 23(1976)733?742.","journal-title":"J. ACM"},{"key":"CR19","unstructured":"D.S. Warren, Using OLDT evaluation with meta-interpreters, in:Logic in Databases, Knowledge, Representation and Reasoning: A Symposium in Honor of Jack Minker's 65th Birthday for Contributions to Computer Science and Human Rights, College Park, Maryland (Nov. 1992)."},{"key":"CR20","first-page":"141","volume":"1","author":"A. Yahya","year":"1985","unstructured":"A. Yahya and L.J. Henschen, Deduction in non-Horn databases, J. Aut. Reasoning 1(1985)141?160.","journal-title":"J. Aut. Reasoning"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530802\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530802.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530802\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T09:31:30Z","timestamp":1556875890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530802"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":20,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["BF01530802"],"URL":"https:\/\/doi.org\/10.1007\/bf01530802","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}