{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:05Z","timestamp":1725748505735},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_36","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"361-373","source":"Crossref","is-referenced-by-count":0,"title":["Decidability and Implementation of Parametrized Logic Programs"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"Artosi, A., Cattabriga, P., Governatori, G.: Ked: A deontic theorem prover. In: Workshop on Legal Application of Logic Programming, pp. 60\u201376. IDG (1994)"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Belnap, N.: A useful four-valued logic. In: Epstein, G., Dunn, M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 7\u201337. Reidel Publishing Company (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"issue":"1","key":"36_CR3","first-page":"1","volume":"17","author":"G. Boella","year":"2008","unstructured":"Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. JAAMAS\u00a017(1), 1\u201310 (2008)","journal-title":"JAAMAS"},{"key":"36_CR4","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385\u2013390. AAAI Press (2007)"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Chellas, B.: Modal Logic: An Introduction. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"issue":"4","key":"36_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1970398.1970401","volume":"12","author":"P. Ferraris","year":"2011","unstructured":"Ferraris, P.: Logic programs with propositional connectives and aggregates. ACM Trans. Comput. Log.\u00a012(4), 25 (2011)","journal-title":"ACM Trans. Comput. Log."},{"key":"36_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-72200-7_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 260\u2013265. Springer, Heidelberg (2007)"},{"key":"36_CR8","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming, pp. 1070\u20131080. MIT Press (1988)"},{"key":"36_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-15675-5_17","volume-title":"Logics in Artificial Intelligence","author":"R. Gon\u00e7alves","year":"2010","unstructured":"Gon\u00e7alves, R., Alferes, J.J.: Parametrized logic programming. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 182\u2013194. Springer, Heidelberg (2010)"},{"key":"36_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-31570-1_5","volume-title":"Deontic Logic in Computer Science","author":"R. Gon\u00e7alves","year":"2012","unstructured":"Gon\u00e7alves, R., Alferes, J.J.: An embedding of input-output logic in deontic logic programs. In: \u00c5gotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol.\u00a07393, pp. 61\u201375. Springer, Heidelberg (2012)"},{"key":"36_CR11","unstructured":"Gon\u00e7alves, R., Alferes, J.J.: Specifying and reasoning about normative systems in deontic logic programming. In: van der Hoek, W., Padgham, L., Conitzer, V., Winikoff, M. (eds.) AAMAS, pp. 1423\u20131424. IFAAMAS (2012)"},{"key":"36_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-32897-8_11","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Homola","year":"2012","unstructured":"Homola, M., Knorr, M., Leite, J., Slota, M.: MKNF knowledge bases in multi-context systems. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds.) CLIMA XIII 2012. LNCS, vol.\u00a07486, pp. 146\u2013162. Springer, Heidelberg (2012)"},{"key":"36_CR13","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: KR, pp. 57\u201367. AAAI Press (2006)"},{"issue":"9-10","key":"36_CR14","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M. Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell.\u00a0175(9-10), 1528\u20131554 (2011)","journal-title":"Artif. Intell."},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. JACM 57(5) (2010)","DOI":"10.1145\/1754399.1754403"},{"key":"36_CR16","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B. Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau Reasoning for Description Logics. Journal of Artificial Intelligence Research\u00a036, 165\u2013228 (2009)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"36_CR17","unstructured":"Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 957\u2013962. IOS Press (2010)"},{"key":"36_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-33353-8_29","volume-title":"Logics in Artificial Intelligence","author":"M. Slota","year":"2012","unstructured":"Slota, M., Leite, J.: A unifying perspective on knowledge updates. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 372\u2013384. Springer, Heidelberg (2012)"},{"key":"36_CR19","doi-asserted-by":"crossref","unstructured":"Slota, M., Leite, J.: The rise and fall of semantic rule updates based on SE-models. Theory and Practice of Logic Programming (TPLP) (to appear, 2013)","DOI":"10.1017\/S1471068413000100"},{"key":"36_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"key":"36_CR21","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki, R.: Theory of Logical Calculi. Synthese Library. Kluwer (1988)","DOI":"10.1007\/978-94-015-6942-2"}],"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_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:40:45Z","timestamp":1558060845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}