{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:39Z","timestamp":1725550059800},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285380"},{"type":"electronic","value":"9783540318279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11546207_41","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:41:23Z","timestamp":1127832083000},"page":"432-436","source":"Crossref","is-referenced-by-count":3,"title":["A DLP System with Object-Oriented Features"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Ricca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valerio","family":"De Bonis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tina","family":"Dell\u2019Armi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Galizia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Grasso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"doi-asserted-by":"crossref","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic (2005)","key":"41_CR2","DOI":"10.1145\/1149114.1149117"},{"key":"41_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-540-24609-1_29","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Janhunen","year":"2003","unstructured":"Janhunen, T., Niemel\u00e4, I.: GNT - A Solver for Disjunctive Logic Programs. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 331\u2013335. Springer, Heidelberg (2003)"},{"unstructured":"Lierler, Y.: Cmodels for Tight Disjunctive Logic Programs. In: Proc. of W(C)LP, Ulmer Informatik-Berichte, Ulm, Germany, Universit\u00e4t Ulm, pp. 163\u2013166 (2005)","key":"41_CR4"},{"key":"41_CR5","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2002","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2002)"},{"key":"41_CR6","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. The MIT Press, Cambridge (1992)"},{"unstructured":"Massacci, F.: Computer Aided Security Requirements Engineering with ASP Nonmonotonic Reasoning, Answer Set Programming ASP and Constraints, Seminar N $\\frac{1}{4}$ 05171, Dagstuhl (2005)","key":"41_CR7"},{"doi-asserted-by":"crossref","unstructured":"Leone, N., Eiter, T., Rosati, R.: etal: The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In: ACM SIGMOD (2005)","key":"41_CR8","DOI":"10.1145\/1066157.1066286"},{"doi-asserted-by":"crossref","unstructured":"Greco, S., Leone, N., Rullo, P.: COMPLEX: An Object-Oriented Logic Programming System. IEEE Transactions on Knowledge and Data Engineering\u00a04 (1992)","key":"41_CR9","DOI":"10.1109\/69.149930"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11546207_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T23:07:11Z","timestamp":1586473631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11546207_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285380","9783540318279"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11546207_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}