{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:35:33Z","timestamp":1725467733303},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650829"},{"type":"electronic","value":"9783540496557"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0056000","type":"book-chapter","created":{"date-parts":[[2006,7,30]],"date-time":"2006-07-30T08:28:08Z","timestamp":1154248088000},"page":"175-187","source":"Crossref","is-referenced-by-count":3,"title":["Query answering in nondeterministic, nonmonotonic logic databases"],"prefix":"10.1007","author":[{"given":"Fosca","family":"Giannotti","sequence":"first","affiliation":[]},{"given":"Giuseppe","family":"Manco","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Nanni","sequence":"additional","affiliation":[]},{"given":"Dino","family":"Pedreschi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,31]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"K. R. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Proc. Workshop on Found of Deductive Databases and Logic Programming, pages 89\u2013148. Morgan Kaufman, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"14_CR2","unstructured":"N. Arvi, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A Second Generation Deductive Databases Systems. Technical report, MCC Corporation, 1993."},{"key":"14_CR3","unstructured":"F. Bonchi. Verification of Datalog++ programs (in Italian). Master's thesis, Department of Computer Science University of Pisa, 1998."},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1018947420290","volume":"19","author":"A. Brogi","year":"1997","unstructured":"A. Brogi, V. S. Subrahmanian, and C. Zaniolo. The Logic of Totally and Partially Ordered Plans: a Deductive Database Approach. Annals of Mathematics in Artificial Intelligence, 19:59\u201396, 1997.","journal-title":"Annals of Mathematics in Artificial Intelligence"},{"key":"14_CR5","unstructured":"J. Chomicki. Temporal deductive databases. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors, Temporal Databases: Theory, Design and Implementation, pages 294\u2013320. Benjamin Cummings, 1993."},{"key":"14_CR6","unstructured":"M Gelfond and V. Lifchitz. The Stable Model Semantics for logic programming. In Proc. of the 5th Int. Conf. on Logic Programming, pages 1070\u20131080, 1988."},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1018999404360","volume":"19","author":"F. Giannotti","year":"1997","unstructured":"F. Giannotti, S. Greco, D. Sacc\u00e0, and C. Zaniolo. Programming with non Determinism in Deductive Databases. Annals of Mathematics in Artificial Intelligence, 19:97\u2013125, 1997.","journal-title":"Annals of Mathematics in Artificial Intelligence"},{"key":"14_CR8","unstructured":"F. Giannotti, G. Manco, and D. Pedreschi. A Deductive Data Model for Representing and Querying Semistructured Data. In Proc. 5th Int. Conf. on Deductive and Object-Oriented Databases (DOOD97), December 1997."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"F. Giannotti, D. Pedreschi, D. Sacc\u00e0, and C. Zaniolo. Non-Determinism in Deductive Databases. In Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases (D00D91), volume 566 of Lecture Notes in Computer Science, pages 129\u2013146, 1991.","DOI":"10.1007\/3-540-55015-1_7"},{"key":"14_CR10","unstructured":"F. Giannotti, D. Pedreschi, and C. Zaniolo. Semantics and Expressive Power of Non Deterministic Constructs for Deductive Databases. Technical Report C96-04, The CNUCE Institute, 1996. Submitted."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"D. Kemp, K. Ramamohanarao, and P. Stuckey. ELS programs and the efficient evaluation of non-stratified programs by transformation to ELS. In Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD95), pages 91\u2013108, 1995.","DOI":"10.1007\/3-540-60608-4_36"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"R. Krishnamurthy and S. Naqvi. Non-deterministic Choice in Datalog. In Proc. 3rd Int. Conf. on Data and Knowledge Bases, pages 416\u2013424, 1988.","DOI":"10.1016\/B978-1-4832-1313-2.50038-X"},{"key":"14_CR13","unstructured":"B. L\u00fcdascher, U. Hamann, and G. Lausen. A logical framework for active rules. In Proc. 7th COMAD Int. Conf. on Management of Data. Tata McGraw-Hill, 1995."},{"key":"14_CR14","volume-title":"Master's thesis","author":"M. Nanni","year":"1997","unstructured":"M. Nanni. Nondeterminism and XY-Stratification in Deductive Databases (in Italian). Master's thesis, Department of Computer Science University of Pisa, 1997."},{"key":"14_CR15","unstructured":"S. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1989."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski. Every logic program has a natural stratification and an iterated fix point model. In Proc. 8th ACM PODS Symposium on Principles of Database Systems, pages 11\u201321, 1989.","DOI":"10.1145\/73721.73723"},{"issue":"6","key":"14_CR17","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1145\/195613.195646","volume":"41","author":"K. A. Ross","year":"1994","unstructured":"K. A. Ross. Modular Stratification and Magic Sets for Datalog Program with Negation. Journal of ACM, 41(6):1216\u20131266, November 1994.","journal-title":"Journal of ACM"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"D. Sacc\u00e0 and C. Zaniolo. Stable Models and Non-determinism in Logic Programs with Negation. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 205\u2013217, 1990.","DOI":"10.1145\/298514.298572"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"C. Zaniolo. Active Database Rules with Transaction Conscious Stable Model Semantics. In Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD95), volume 1013 of Lecture Notes in Computer Science, pages 55\u201372, 1995.","DOI":"10.1007\/3-540-60608-4_34"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"C. Zaniolo, N. Arni, and K. Ong. Negation and Aggregates in Recursive Rules: The LDL++ Approach. In Proc. 3rd Int. Conf. on Deductive and Object-Oriented Databases (DOOD93), volume 760 of Lecture Notes in Computer Science, 1993.","DOI":"10.1007\/3-540-57530-8_13"},{"key":"14_CR21","unstructured":"C. Zaniolo, S. Ceri, C. Faloutsos, R.T Snodgrass, V.S. Subrahmanian, and R. Zicari. Advanced Database Systems. Morgan Kaufman, 1997."}],"container-title":["Lecture Notes in Computer Science","Flexible Query Answering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0056000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T11:41:17Z","timestamp":1555760477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0056000"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650829","9783540496557"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0056000","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}