{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:37Z","timestamp":1725748177010},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406232"},{"type":"electronic","value":"9783642406249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40624-9_16","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T20:18:12Z","timestamp":1378844292000},"page":"256-272","source":"Crossref","is-referenced-by-count":7,"title":["Perceiving Rules under Incomplete and Inconsistent Information"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Dunin-K\u0119plicz","sequence":"first","affiliation":[]},{"given":"Alina","family":"Strachocka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s11229-005-3488-2","volume":"152","author":"K. Atkinson","year":"2005","unstructured":"Atkinson, K., Bench-Capon, T., McBurney, P.: Computational representation of practical argument. Synthese\u00a0152, 157\u2013206 (2005)","journal-title":"Synthese"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Austin, J.L.: How to Do Things with Words, 2nd edn. Clarendon Press, Oxford (1975) Edited by J. O. Urmson, M. Sbisa","DOI":"10.1093\/acprof:oso\/9780198245537.001.0001"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1016\/j.ijar.2006.09.009","volume":"46","author":"S. Amo de","year":"2007","unstructured":"de Amo, S., Pais, M.: A paraconsistent logic approach for querying inconsistent databases. International Journal of Approximate Reasoning\u00a046, 366\u2013386 (2007)","journal-title":"International Journal of Approximate Reasoning"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1093\/jigpal\/9.2.289","volume":"9","author":"F. Dignum","year":"2001","unstructured":"Dignum, F., Dunin-K\u0119plicz, B., Verbrugge, R.: Creating collective intention through dialogue. Logic Journal of the IGPL\u00a09, 145\u2013158 (2001)","journal-title":"Logic Journal of the IGPL"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Dunin-K\u0119plicz, B., Strachocka, A., Sza\u0142as, A., Verbrugge, R.: Perceiving Speech Acts under Incomplete and Inconsistent Information. In: KES AMSTA. Frontiers of Artificial Intelligence and Applications, vol.\u00a0252, pp. 255\u2013264. IOS Press (2013)","DOI":"10.1007\/978-3-642-40624-9_16"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-30947-2_40","volume-title":"Agent and Multi-Agent Systems. Technologies and Applications","author":"B. Dunin-K\u0119plicz","year":"2012","unstructured":"Dunin-K\u0119plicz, B., Sza\u0142as, A.: Epistemic profiles and belief structures. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol.\u00a07327, pp. 360\u2013369. Springer, Heidelberg (2012)"},{"issue":"6","key":"16_CR7","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1093\/logcom\/exl009","volume":"16","author":"D. Walther","year":"2006","unstructured":"Walther, D., Lutz, C., Wolter, F., Wooldridge, M.: ATL satisfiability is indeed EXPTIME-complete. Journal of Logic and Computation\u00a016(6), 765\u2013787 (2006)","journal-title":"Journal of Logic and Computation"},{"issue":"1-4","key":"16_CR8","first-page":"239","volume":"75","author":"M. Dziubi\u0144ski","year":"2007","unstructured":"Dziubi\u0144ski, M., Verbrugge, R., Dunin-K\u0119plicz, B.: Complexity issues in multiagent logics. Fundamenta Informaticae\u00a075(1-4), 239\u2013262 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR9","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. Methods of Logic in Computer Science\u00a01, 51\u201360 (1994)","journal-title":"Methods of Logic in Computer Science"},{"key":"16_CR10","unstructured":"FIPA (2002), http:\/\/www.fipa.org\/"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-642-24206-9_22","volume-title":"Datalog Reloaded","author":"J. Ma\u0142uszy\u0144ski","year":"2011","unstructured":"Ma\u0142uszy\u0144ski, J., Sza\u0142as, A.: Living with Inconsistency and Taming Nonmonotonicity. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol.\u00a06702, pp. 384\u2013398. Springer, Heidelberg (2011)"},{"key":"16_CR12","unstructured":"Ma\u0142uszy\u0144ski, J., Sza\u0142as, A.: Partiality and Inconsistency in Agents\u2019 Belief Bases. In: KES-AMSTA. Frontiers of Artificial Intelligence and Applications, vol.\u00a0252, pp. 3\u201317. IOS Press (2013)"},{"key":"16_CR13","unstructured":"Mascardi, V., Demergasso, D., Ancona, D.: Languages for programming BDI-style agents: an overview. In: Corradini, F., De Paoli, F., Merelli, E., Omicini, A. (eds.) WOA 2005 - Workshop From Objects to Agents, pp. 9\u201315 (2005)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1023\/B:GRUP.0000003742.50038.d3","volume":"12","author":"S. Parsons","year":"2003","unstructured":"Parsons, S., McBurney, P.: Argumentation-based dialogues for agent coordination. Group Decision and Negotiation\u00a012, 415\u2013439 (2003)","journal-title":"Group Decision and Negotiation"},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1017\/S0269888906000865","volume":"21","author":"H. Prakken","year":"2006","unstructured":"Prakken, H.: Formal systems for persuasion dialogue. The Knowledge Engineering Review\u00a021(2), 163\u2013188 (2006)","journal-title":"The Knowledge Engineering Review"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Searle, J.R.: Speech Acts. Cambridge University Press, Cambridge (1969)","DOI":"10.1017\/CBO9781139173438"},{"issue":"4","key":"16_CR17","doi-asserted-by":"crossref","first-page":"405","DOI":"10.3233\/FI-2009-209","volume":"97","author":"A. Vit\u00f3ria","year":"2009","unstructured":"Vit\u00f3ria, A., Ma\u0142uszy\u0144ski, J., Sza\u0142as, A.: Modeling and reasoning with paraconsistent rough sets. Fundamenta Informaticae\u00a097(4), 405\u2013438 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR18","volume-title":"Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning","author":"D. Walton","year":"1995","unstructured":"Walton, D., Krabbe, E.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany (1995)"},{"key":"16_CR19","unstructured":"Cohen, P.R., Levesque, H.J.: Rational interaction as the basis for communication. Technical Report 433, SRI International, Menlo Park, CA (1988)"},{"key":"16_CR20","unstructured":"Kaiser, M., Dillmann, R., Rogalla, O.: Communication as the basis for learning in multi-agent systems. In: ECAI 1996 Workshop on Learning in Distributed AI Systems (1996)"},{"key":"16_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-540-32261-0_6","volume-title":"Argumentation in Multi-Agent Systems","author":"F. Paglieri","year":"2005","unstructured":"Paglieri, F., Castelfranchi, C.: Revising beliefs through arguments: Bridging the gap between argumentation and belief revision in MAS. In: Rahwan, I., Mora\u00eftis, P., Reed, C. (eds.) ArgMAS 2004. LNCS (LNAI), vol.\u00a03366, pp. 78\u201394. Springer, Heidelberg (2005)"},{"key":"16_CR22","unstructured":"Costantini, S.: Learning by knowledge exchange in logical agents. In: WOA 2005, Dagli (2005)"},{"key":"16_CR23","unstructured":"Mcburney, P., Parsons, S.: Tenacious Tortoises: A formalism for argument over rules of inference. In: Computational Dialectics (ECAI 2000 Workshop) (2000)"},{"key":"16_CR24","series-title":"Annals of Mathematics and Artificial Intelligence","first-page":"47","volume-title":"A semantics for speech acts","author":"M. Singh","year":"1993","unstructured":"Singh, M.: A semantics for speech acts. Annals of Mathematics and Artificial Intelligence, pp. 47\u201371. Springer, Netherlands (1993) Print ISSN: 1012-2443"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Linder, B., Hoek, W., Meyer, J.-J. C.: Actions that make you change your mind. In: KI 1995: Advances in Artificial Intelligence, vol.\u00a098, pp. 185\u2013196 (1995)","DOI":"10.1007\/3-540-60343-3_36"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Prakken, H.: Modelling Reasoning about Evidence in Legal Procedure. In: Proceedings of the Eighth International Conference on Artificial Intelligence and Law, pp. 119\u2013128 (2001)","DOI":"10.1145\/383535.383550"},{"issue":"2","key":"16_CR27","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10506-010-9094-8","volume":"18","author":"T.J.M. Bench-Capon","year":"2010","unstructured":"Bench-Capon, T.J.M., Prakken, H.: Using Argument Schemes for Hypothetical Reasoning in Law. Artificial Intelligence and Law\u00a018(2), 153\u2013174 (2010)","journal-title":"Artificial Intelligence and Law"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-54507-7_3","volume-title":"Fundamentals of Artificial Intelligence Research","author":"D. Gabbay","year":"1991","unstructured":"Gabbay, D., Hunter, A.: Making Inconsistency Respectable: A Logical Framework for Inconsistency in Reasoning, Part I - A Position Paper. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol.\u00a0535, pp. 19\u201332. Springer, Heidelberg (1991)"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Winslett, M.: Updating logical databases. Cambridge University Press (1990)","DOI":"10.1017\/CBO9780511663109"},{"key":"16_CR30","unstructured":"van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Elsevier Science (2007)"},{"key":"16_CR31","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic Logic Programming. In: Procs. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, pp. 98\u2013109 (1998)"},{"key":"16_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: Evolving Logic Programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"16_CR33","unstructured":"B\u00e9ziau, J.-Y., Carnielli, W.A., Gabbay, D.M.: Handbook of paraconsistency. College publications (2007)"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Walton, D., Reed, C., Macagno, F.: Argumentation Schemes. Cambridge University Press (2008)","DOI":"10.1017\/CBO9780511802034"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40624-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,5]],"date-time":"2022-03-05T23:42:41Z","timestamp":1646523761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40624-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406232","9783642406249"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40624-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}