{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:40:02Z","timestamp":1748623202958,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_43","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"517-530","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Logic Programming with Graded Modality"],"prefix":"10.1007","author":[{"given":"Zhizheng","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shutao","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"issue":"1","key":"43_CR1","first-page":"57","volume":"9","author":"C Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, J.N.: Probabilistic reasoning with answer sets. TPLP 9(1), 57\u2013144 (2009)","journal-title":"TPLP"},{"key":"43_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)"},{"issue":"5\u20136","key":"43_CR3","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1017\/S1471068408003323","volume":"8","author":"W Faber","year":"2008","unstructured":"Faber, W., Pfeifer, G., Leone, N., Dellarmi, T., Ielpa, G.: Design and implementation of aggregate functions in the DLV system. Theory Pract. Log. Program. 8(5\u20136), 545\u2013580 (2008)","journal-title":"Theory Pract. Log. Program."},{"key":"43_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187\u2013188","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Conflict-driven answer set solving: from theory to practice. Artif. Intell. 187\u2013188, 52\u201389 (2012)","journal-title":"Artif. Intell."},{"key":"43_CR5","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1305\/ndjfl\/1093890715","volume":"13","author":"K Fine","year":"1972","unstructured":"Fine, K.: In so many possible worlds. Notre Dame J. Formal Logic 13, 516\u2013520 (1972)","journal-title":"Notre Dame J. Formal Logic"},{"unstructured":"Lin, F., Shoham, Y.: Epistemic semantics for fixed-points non-monotonic logics. In: TARK-1990, pp. 111\u2013120 (1990)","key":"43_CR6"},{"unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: IJCAI-1991, pp. 381\u2013386 (1991)","key":"43_CR7"},{"unstructured":"Gelfond, M.: Strong introspection. In: AAAI-1991, pp. 386\u2013391 (1991)","key":"43_CR8"},{"issue":"1\u20132","key":"43_CR9","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF01530762","volume":"12","author":"M Gelfond","year":"1994","unstructured":"Gelfond, M.: Logic programming and reasoning with incomplete information. Ann. Math. Artif. Intell. 12(1\u20132), 89\u2013116 (1994)","journal-title":"Ann. Math. Artif. Intell."},{"key":"43_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-11503-5_4","volume-title":"Practical Aspects of Declarative Languages","author":"AS Gomes","year":"2010","unstructured":"Gomes, A.S., Alferes, J.J., Swift, T.: Implementing query answering for hybrid MKNF knowledge bases. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 25\u201339. Springer, Heidelberg (2010)"},{"unstructured":"Kahl, P., Watson, R., Gelfond, M., Zhang, Y.: A refinement of the language of epistemic specifications. In: Workshop ASPOCP-2014 (2014)","key":"43_CR11"},{"key":"43_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-20832-4_20","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"M Truszczy\u0144ski","year":"2011","unstructured":"Truszczy\u0144ski, M.: Revisiting epistemic specifications. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 315\u2013333. Springer, Heidelberg (2011)"},{"key":"43_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57, 5 (2010)","journal-title":"J. ACM"},{"unstructured":"Zhang, Y.: Epistemic reasoning in logic programs. In: IJCAI, pp. 647\u2013653 (2007)","key":"43_CR14"},{"key":"43_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-20895-9_29","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gelfond","year":"2011","unstructured":"Gelfond, M.: New semantics for epistemic specifications. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 260\u2013265. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Zhang, Z., Zhao, K.: Esmodels: an epistemic specification inference. In: ICTAI-2013, pp. 769\u2013774 (2013)","key":"43_CR16","DOI":"10.1109\/ICTAI.2013.118"},{"issue":"133\u2013134","key":"43_CR17","first-page":"251","volume":"34","author":"W van der Hoek","year":"1991","unstructured":"van der Hoek, W., Meyer, J.J.C.: Graded modalities in epistemic logic. Logique et Analyse 34(133\u2013134), 251\u2013270 (1991)","journal-title":"Logique et Analyse"},{"key":"43_CR18","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF00379767","volume":"44","author":"T Fattorosi-Barnaba","year":"1985","unstructured":"Fattorosi-Barnaba, T., de Caro, F.: Graded modalities I. Stud. Logica. 44, 197\u2013221 (1985)","journal-title":"Stud. Logica."},{"unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Description Logic Handbook, pp. 43\u201395. Cambridge University Press (2003)","key":"43_CR19"},{"issue":"3\/4","key":"43_CR20","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: propositional case. Ann. Math. Artif. Intell. 15(3\/4), 289\u2013323 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"unstructured":"http:\/\/sourceforge.net\/projects\/potassco\/files\/guide\/2.0\/guide-2.0.pdf","key":"43_CR21"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:22:18Z","timestamp":1748622138000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}