{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T10:26:20Z","timestamp":1762251980357,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_14","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"135-147","source":"Crossref","is-referenced-by-count":26,"title":["Towards Answer Set Programming with Sorts"],"prefix":"10.1007","author":[{"given":"Evgenii","family":"Balai","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]},{"given":"Yuanlin","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP 1988, pp. 1070\u20131080 (1988)"},{"key":"14_CR2","unstructured":"Syrj\u00e4nen, T.: Lparse 1.0 user\u2019s manual (2000)"},{"key":"14_CR3","unstructured":"Balduccini, M.: Modules and signature declarations for a-prolog: Progress report. In: Software Engineering for Answer Set Programming Workshop, SEA 2007 (2007)"},{"key":"14_CR4","unstructured":"Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: International Symposium on Logical Formalization of Commonsense Reasoning. AAAI 2003 Spring Symposium Series vol. 102. The AAAI Press (2003)"},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","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 (TOCL)\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-63255-7_2","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Buccafurri","year":"1997","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Strong and weak constraints in disjunctive datalog. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 2\u201317. Springer, Heidelberg (1997)"},{"key":"14_CR7","unstructured":"Balai, E., Gelfond, M., Zhang, Y.: SPARC \u2013 sorted ASP with consistency restoring rules. In: Answer Set Programming and Other Computing Paradigms (2012)"},{"key":"14_CR8","unstructured":"SPARC system, \n                  \n                    http:\/\/www.depts.ttu.edu\/cs\/research\/krlab\/#software"},{"key":"14_CR9","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"key":"14_CR10","unstructured":"Balai, E., Gelfond, M., Zhang, Y.: SPARC \u2013 sorted ASP with consistency restoring rules. Technical Report, Texas Tech University, USA (2012), \n                  \n                    http:\/\/www.depts.ttu.edu\/cs\/research\/krlab\/#papers"},{"key":"14_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-72200-7_4","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Balduccini","year":"2007","unstructured":"Balduccini, M.: cr-models: An Inference Engine for CR-Prolog. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 18\u201330. Springer, Heidelberg (2007)"}],"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-642-40564-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T06:33:15Z","timestamp":1558074795000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}