{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T22:30:49Z","timestamp":1673735449165},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540632559","type":"print"},{"value":"9783540692492","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63255-7_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:23:11Z","timestamp":1330298591000},"page":"2-17","source":"Crossref","is-referenced-by-count":37,"title":["Strong and weak constraints in disjunctive datalog"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Buccafurri","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[]},{"given":"Pasquale","family":"Rullo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","author":"C. Baral","year":"1994","unstructured":"Baral, C. and Gelfond, M. (1994), Logic Programming and Knowledge Representation Journal of Logic Programming, 19\/20, 73\u2013148.","journal-title":"Journal of Logic Programming"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF01530761","volume":"12","author":"R. Ben-Eliyahu","year":"1994","unstructured":"Ben-Eliyahu, R. and Dechter, R. (1994), Propositional Semantics for Disjunctive Logic Programs. Annals of Mathematics and Artificial Intelligence, 12, 53\u201387.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR3","first-page":"199","volume-title":"Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation","author":"S. Brass","year":"1995","unstructured":"Brass, S. and Dix, J. (1995), Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation, in \u201cProc. of the 12th Int. Conf. on Logic Programming,\u201d Tokyo, pp. 199\u2013213, MIT Press."},{"key":"2_CR4","first-page":"456","volume-title":"A slick procedure for integrity checking in deductive databases","author":"H. Decker","year":"1994","unstructured":"Decker, H., Celma, M. (1994) A slick procedure for integrity checking in deductive databases, \u201cProc. of the Eleventh Int. Conference on Logic Programming, S. Margherita Ligure\u201d, Italy, pp. 456\u2013469, MIT Press."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Eiter, T., Gottlob, G. and Mannila, H. (1994), Adding Disjunction to Datalog, in \u201cProc. ACM PODS-94,\u201d pp. 267\u2013278.","DOI":"10.1145\/182591.182639"},{"key":"2_CR6","first-page":"289","volume":"15","author":"T. Eiter","year":"1995","unstructured":"Eiter, T. and Gottlob, G. (1995), On the Computational Cost of Disjunctive Logic Programming: Propositional Case, Annals of Mathematics and Artificial Intelligence, J. C. Baltzer AG, Science Publishers, 15, 289\u2013323.","journal-title":"Annals of Mathematics and Artificial Intelligence, J. C. Baltzer AG, Science Publishers"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T. Eiter","year":"1995","unstructured":"Eiter, T. and Gottlob, G. (1995), The Complexity of Logic-Based Abduction, Journal of the ACM, 42, 3\u201342.","journal-title":"Journal of the ACM"},{"key":"2_CR8","unstructured":"Fern\u00e1ndez, J.A. and Minker, J. (1992), Semantics of Disjunctive Deductive Databases, in \u201cProc. 4th Intl. Conference on Database Theory (ICDT-92),\u201d Berlin, pp.21\u201350."},{"key":"2_CR9","volume-title":"Computers and Intractability \u2014 A Guide to the Theory of NP-Completeness","author":"M. Garey","year":"1979","unstructured":"Garey, M., Johnson, D.S. (1979) Computers and Intractability \u2014 A Guide to the Theory of NP-Completeness, W. H. Freeman, New York."},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M. and Lifschitz, V. (1991), Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 9, 365\u2013385.","journal-title":"New Generation Computing"},{"key":"2_CR11","unstructured":"Greco, S. (1996), Extending Datalog with Choice and Weak Constraints, in \u201cProc. of the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96\u201d, Donostia-San Sebastian, Spain, pp.329\u2013340."},{"key":"2_CR12","unstructured":"Greco, S. and Sacc\u00e0, D. (1997), NP Optimization Problems in Datalog, unpublished manuscript."},{"key":"2_CR13","unstructured":"IFIP-GI Workshop (1994), \u201cDisjunctive Logic Programming and Disjunctive Databases,\u201d 13-th IFIP World Computer Congress."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Sadri, F. (1988) A theorem-proving approach to database integrity, in J. Minker (ed), Foundations of Deductive Databases and Logic Programming, 313\u2013362, Morgan Kaufman.","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"key":"2_CR15","first-page":"399","volume-title":"Declarative and Fixpoint Characterizations of Disjunctive Stable Models","author":"N. Leone","year":"1995","unstructured":"Leone, N., Rullo, P., Scarcello, F. (1995) Declarative and Fixpoint Characterizations of Disjunctive Stable Models, in \u201cProceedings of International Logic Programming Symposium (ILPS'95)\u201d, Portland, Oregon, pp. 399\u2013413, MIT Press."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Leone, N., Rullo, P., Scarcello, F. (1997) Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics and Computation, Information and Computation, Forthcoming.","DOI":"10.1006\/inco.1997.2630"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","volume":"2","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W., Sonenberg, E.A., Topor, R.W. (1987) Integrity constraint checking in stratified databases, Journal of Logic Programming, 2, pp. 331\u2013343.","journal-title":"Journal of Logic Programming"},{"key":"2_CR18","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J. and Rajasekar, A. (1992) Foundations of Disjunctive Logic Programming MIT Press, Cambridge, MA."},{"key":"2_CR19","unstructured":"Marek, W. and Subrahmanian, V.S. (1989), The Relationship between Logic Program Semantics and Non-Monotonic Reasoning, in \u201cProc. of the 6th International Conference on Logic Programming \u2014 ICLP'89,\u201d pp. 600\u2013617, MIT Press."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Minker, J. (1982), On Indefinite Data Bases and the Closed World Assumption, in \u201cProc. of the 6th Conference on Automated Deduction (CADE-82),\u201d pp. 292\u2013308.","DOI":"10.1007\/BFb0000066"},{"key":"2_CR21","unstructured":"Papadimitriou, C.H. (1994), Computational Complexity, Addison-Wesley."},{"key":"2_CR22","unstructured":"Przymusinska, H. and Przymusinski, T. (1988), Weakly Perfect Model Semantics for Logic Programs, in \u201cProc. Fifth Int. Conf. and Symp. on Logic Programming,\u201d pp.1106\u20131120."}],"container-title":["Logic Programming And Nonmonotonic Reasoning","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63255-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:53Z","timestamp":1605647873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63255-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632559","9783540692492"],"references-count":22,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-63255-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1997]]}}}