{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:26:51Z","timestamp":1725575211286},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207214"},{"type":"electronic","value":"9783540246091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24609-1_31","type":"book-chapter","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T22:31:31Z","timestamp":1294957891000},"page":"341-345","source":"Crossref","is-referenced-by-count":4,"title":["DLV DB : Bridging the Gap between ASP Systems and DBMSs"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Leone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzino","family":"Lio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Terracina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Cumbo, C., Faber, W., Greco, G., Leone, N.: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. Technical report"},{"key":"31_CR2","series-title":"Lecture Notes in Artificial Intelligence","first-page":"409","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Dell\u2019Armi","year":"2001","unstructured":"Dell\u2019Armi, T., Faber, W., Ielpa, G., Koch, C., Leone, N., Perri, S., Pfeifer, G.: System Description: DLV. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 409\u2013412. Springer, Heidelberg (2001)"},{"key":"31_CR3","unstructured":"Faber, W., Leone, N., Mateis, C., Pfeifer, G.: Using Database Optimization Techniques for Nonmonotonic Reasoning. In: INAP Organizing Committee, editor, Proceedings of the 7th International Workshop on Deductive Databases and Logic Programming (DDLP 1999), September 1999, pp. 135\u2013139. Prolog Association of Japan (1999)"},{"key":"31_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/3-540-45653-8_39","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"E. Franconi","year":"2001","unstructured":"Franconi, E., Laureti Palma, A., Leone, N., Perri, S., Scarcello, F.: Census Data Repair: a Challenging Application of Disjunctive Logic Programming. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 561\u2013578. Springer, Heidelberg (2001)"},{"key":"31_CR5","unstructured":"Niemel\u00e4, I., Simons, P., Syrj\u00e4nen, T.: Smodels: A System for Answer Set Programming. In: Baral, C., Truszczy\u0144ski, M. (eds.) Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), Breckenridge, Colorado, USA (April 2000)"},{"key":"31_CR6","volume-title":"Principles of Database and Knowledge Base Systems","author":"J.D. Ullman","year":"1989","unstructured":"Ullman, J.D.: Principles of Database and Knowledge Base Systems. Computer Science Press, Rockville (1989)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24609-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T15:27:50Z","timestamp":1553354870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24609-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540207214","9783540246091"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24609-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}