{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:37:51Z","timestamp":1725471471717},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659228"},{"type":"electronic","value":"9783540488552"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703163_5","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T18:15:50Z","timestamp":1160417750000},"page":"58-72","source":"Crossref","is-referenced-by-count":2,"title":["On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal 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","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Proc. Workshop on Found. of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Proc. Workshop on Found. of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufman, San Francisco (1988)"},{"key":"5_CR2","unstructured":"Arni, N., Ong, K., Tsur, S., Zaniolo, C.: LDL++: A Second Generation Deductive Databases Systems. Technical report, MCC Corporation (1993)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0743-1066(91)90030-S","volume":"11","author":"I. Balbin","year":"1991","unstructured":"Balbin, I., Port, G.S., Ramamohanarao, K., Meenakshi, K.: Efficient Bottom-up Computation of Queries on Stratified Databases. Journal of Logic Programming\u00a011, 295\u2013344 (1991)","journal-title":"Journal of Logic Programming"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1018947420290","volume":"19","author":"A. Brogi","year":"1997","unstructured":"Brogi, A., Subrahmanian, V.S., Zaniolo, C.: The Logic of Totally and Partially Ordered Plans: a Deductive Database Approach. Annals of Mathematics in Artificial Intelligence\u00a019, 59\u201396 (1997)","journal-title":"Annals of Mathematics in Artificial Intelligence"},{"key":"5_CR5","unstructured":"Chomicki, J.: Temporal deductive databases. In: Tansel, A., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R. (eds.) Temporal Databases: Theory, Design and Implementation, pp. 294\u2013320. Benjamin Cummings (1993)"},{"key":"5_CR6","unstructured":"Gelfond, M., Lifchitz, V.: The Stable Model Semantics for logic programming. In: Proc. of the 5th Int. Conf. on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63792-3_21","volume-title":"Proc. 5th Int. Conf. on Deductive and Object-Oriented Databases (DOOD 1997)","author":"F. Giannotti","year":"1997","unstructured":"Giannotti, F., Manco, G., Pedreschi, D.: A Deductive Data Model for Representing and Querying Semistructured Data. In: Bry, F., Ramamohanarao, K. (eds.) DOOD 1997. LNCS, vol.\u00a01341. Springer, Heidelberg (1997)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-55015-1_7","volume-title":"Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases (DOOD 1991)","author":"F. Giannotti","year":"1991","unstructured":"Giannotti, F., Pedreschi, D., Sacc\u00e0, D., Zaniolo, C.: Non-Determinism in Deductive Databases. In: Delobel, C., Masunaga, Y., Kifer, M. (eds.) DOOD 1991. LNCS, vol.\u00a0566, pp. 129\u2013146. Springer, Heidelberg (1991)"},{"key":"5_CR9","unstructured":"Giannotti, F., Pedreschi, D., Zaniolo, C.: Semantics and Expressive Power of Non Deterministic Constructs for Deductive Databases. Technical Report C96-04, The CNUCE Institute (1996) (Submitted)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-60608-4_36","volume-title":"Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD 1995)","author":"D. Kemp","year":"1995","unstructured":"Kemp, D., Ramamohanarao, K., Stuckey, P.: ELS programs and the effcient evaluation of non-stratified programs by transformation to ELS. In: Ling, T.-W., Vieille, L., Mendelzon, A.O. (eds.) DOOD 1995. LNCS, vol.\u00a01013, pp. 91\u2013108. Springer, Heidelberg (1995)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, R., Naqvi, S.: Non-deterministic Choice in Datalog. In: Proc. 3rd Int. Conf. on Data and Knowledge Bases, pp. 416\u2013424 (1988)","DOI":"10.1016\/B978-1-4832-1313-2.50038-X"},{"key":"5_CR12","volume-title":"Proc. 7th COMAD Int. Conf. on Management of Data","author":"B. L\u00fcdascher","year":"1995","unstructured":"L\u00fcdascher, B., Hamann, U., Lausen, G.: A logical framework for active rules. In: Proc. 7th COMAD Int. Conf. on Management of Data. Tata McGraw-Hill, New York (1995)"},{"key":"5_CR13","unstructured":"Nanni, M.: Nondeterminism and XY-Stratification in Deductive Databases (in Italian). Master\u2019s thesis, Department of Computer Science University of Pisa (1997)"},{"key":"5_CR14","unstructured":"Naqvi, S., Tsur, S.: A Logic Language for Data and Knowledge Bases. Computer Science Press (1989)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C.: Every logic program has a natural stratification and an iterated fix point model. In: Proc. 8th ACM PODS Symposium on Principles of Database Systems, pp. 11\u201321 (1989)","DOI":"10.1145\/73721.73723"},{"issue":"6","key":"5_CR16","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1145\/195613.195646","volume":"41","author":"K.A. Ross","year":"1994","unstructured":"Ross, K.A.: Modular Stratification and Magic Sets for Datalog Program with Negation. Journal of ACM\u00a041(6), 1216\u20131266 (1994)","journal-title":"Journal of ACM"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Sacc\u00e0, D., Zaniolo, C.: Stable Models and Non-determinism in Logic Programs with Negation. In: Proceedings of the ACM Symposium on Principles of Database Systems, pp. 205\u2013217 (1990)","DOI":"10.1145\/298514.298572"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/3-540-60608-4_34","volume-title":"Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD 1995)","author":"C. Zaniolo","year":"1995","unstructured":"Zaniolo, C.: Active Database Rules with Transaction Conscious Stable Model Semantics. In: Ling, T.-W., Vieille, L., Mendelzon, A.O. (eds.) DOOD 1995. LNCS, vol.\u00a01013, pp. 55\u201372. Springer, Heidelberg (1995)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. 3rd Int. Conf. on Deductive and Object-Oriented Databases (DOOD 1993)","author":"C. Zaniolo","year":"1993","unstructured":"Zaniolo, C., Arni, N., Ong, K.: Negation and Aggregates in Recursive Rules: The LDL++ Approach. In: Ceri, S., Tsur, S., Tanaka, K. (eds.) DOOD 1993. LNCS, vol.\u00a0760. Springer, Heidelberg (1993)"},{"key":"5_CR20","volume-title":"Advanced Database Systems","author":"C. Zaniolo","year":"1997","unstructured":"Zaniolo, C., Ceri, S., Faloutsos, C., Snodgrass, R.T., Subrahmanian, V.S., Zicari, R.: Advanced Database Systems. Morgan Kaufman, San Francisco (1997)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703163_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:29:18Z","timestamp":1558294158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703163_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659228","9783540488552"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/10703163_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}