Boella, Guido; Pigozzi, Gabriella; van der Torre, Leendert AGM contraction and revision of rules. (English) Zbl 1396.03015 J. Logic Lang. Inf. 25, No. 3-4, 273-297 (2016). MSC: 03B42 03B70 68T27 68T30 PDF BibTeX XML Cite \textit{G. Boella} et al., J. Logic Lang. Inf. 25, No. 3--4, 273--297 (2016; Zbl 1396.03015) Full Text: DOI
Leite, João (ed.); Torroni, Paolo (ed.); Ågotnes, Thomas (ed.); Boella, Guido (ed.); van der Torre, Leendert (ed.) Preface to the special issue on computational logic in multi-agent systems (CLIMA XII). (English) Zbl 1308.00054 J. Log. Comput. 24, No. 6, 1141-1144 (2014). MSC: 00B25 03B42 68T27 03-06 68-06 PDF BibTeX XML Cite \textit{J. Leite} (ed.) et al., J. Log. Comput. 24, No. 6, 1141--1144 (2014; Zbl 1308.00054) Full Text: DOI
Baroni, Pietro; Boella, Guido; Cerutti, Federico; Giacomin, Massimiliano; van der Torre, Leendert; Villata, Serena On the input/output behavior of argumentation frameworks. (English) Zbl 1408.68134 Artif. Intell. 217, 144-197 (2014). MSC: 68T27 PDF BibTeX XML Cite \textit{P. Baroni} et al., Artif. Intell. 217, 144--197 (2014; Zbl 1408.68134) Full Text: DOI
Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio Reasoning about delegation and revocation schemes in answer set programming. (English) Zbl 1361.68219 J. Log. Comput. 24, No. 1, 89-116 (2014). MSC: 68T27 68N17 94A62 PDF BibTeX XML Cite \textit{S. Barker} et al., J. Log. Comput. 24, No. 1, 89--116 (2014; Zbl 1361.68219) Full Text: DOI
Baldoni, Matteo (ed.); Baroglio, Cristina (ed.); Boella, Guido (ed.); Micalizio, Roberto (ed.) AI*IA 2013: Advances in artificial intelligence. XIIIth international conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4–6, 2013. Proceedings. (English) Zbl 1277.68003 Lecture Notes in Computer Science 8249. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-319-03523-9/pbk). xvii, 540 p. (2013). MSC: 68-06 68Txx 00B25 PDF BibTeX XML Cite \textit{M. Baldoni} (ed.) et al., AI*IA 2013: Advances in artificial intelligence. XIIIth international conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4--6, 2013. Proceedings. Berlin: Springer (2013; Zbl 1277.68003) Full Text: DOI
Boella, Guido (ed.); Elkind, Edith (ed.); Savarimuthu, Bastin Tony Roy (ed.); Dignum, Frank (ed.); Purvis, Martin K. (ed.) PRIMA 2013: Principles and practice of multi-agent systems. 16th international conference, Dunedin, New Zealand, December 1–6, 2013. Proceedings. (English) Zbl 1298.68021 Lecture Notes in Computer Science 8291. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-44926-0/pbk). xviii, 536 p. (2013). MSC: 68-06 68T42 00B25 PDF BibTeX XML Cite \textit{G. Boella} (ed.) et al., PRIMA 2013: Principles and practice of multi-agent systems. 16th international conference, Dunedin, New Zealand, December 1--6, 2013. Proceedings. Berlin: Springer (2013; Zbl 1298.68021) Full Text: DOI
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert A socio-cognitive model of trust using argumentation theory. (English) Zbl 1264.68182 Int. J. Approx. Reasoning 54, No. 4, 541-559 (2013). MSC: 68T37 68T42 PDF BibTeX XML Cite \textit{S. Villata} et al., Int. J. Approx. Reasoning 54, No. 4, 541--559 (2013; Zbl 1264.68182) Full Text: DOI
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert Modelling defeasible and prioritized support in bipolar argumentation. (English) Zbl 1280.68255 Ann. Math. Artif. Intell. 66, No. 1-4, 163-197 (2012). MSC: 68T30 68T37 68T42 PDF BibTeX XML Cite \textit{S. Villata} et al., Ann. Math. Artif. Intell. 66, No. 1--4, 163--197 (2012; Zbl 1280.68255) Full Text: DOI
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Hulstijn, Joris A logic of argumentation for specification and verification of abstract argumentation frameworks. (English) Zbl 1272.68383 Ann. Math. Artif. Intell. 66, No. 1-4, 199-230 (2012). MSC: 68T27 68T30 PDF BibTeX XML Cite \textit{S. Villata} et al., Ann. Math. Artif. Intell. 66, No. 1--4, 199--230 (2012; Zbl 1272.68383) Full Text: DOI
Colombo Tosatto, Silvano; Boella, Guido; van der Torre, Leendert; Villata, Serena Visualizing normative systems: an abstract approach. (English) Zbl 1297.68218 Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 16-30 (2012). MSC: 68T27 03B45 PDF BibTeX XML Cite \textit{S. Colombo Tosatto} et al., Lect. Notes Comput. Sci. 7393, 16--30 (2012; Zbl 1297.68218) Full Text: DOI
Boella, Guido; Governatori, Guido; Hulstijn, Joris; Riveret, Régis; Rotolo, Antonino; van der Torre, Leendert Time and defeasibility in FIPA ACL semantics. (English) Zbl 1248.68470 J. Appl. Log. 9, No. 4, 274-288 (2011). MSC: 68T27 68T42 PDF BibTeX XML Cite \textit{G. Boella} et al., J. Appl. Log. 9, No. 4, 274--288 (2011; Zbl 1248.68470) Full Text: DOI
Leite, João (ed.); Torroni, Paolo (ed.); Ågotnes, Thomas (ed.); Boella, Guido (ed.); van der Torre, Leon (ed.) Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. (English) Zbl 1222.68014 Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). xv, 383 p. (2011). MSC: 68-06 68T27 68T42 00B25 PDF BibTeX XML Cite \textit{J. Leite} (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17--18, 2011. Proceedings. Berlin: Springer (2011; Zbl 1222.68014) Full Text: DOI
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert Arguing about the trustworthiness of the information sources. (English) Zbl 1341.68271 Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 74-85 (2011). MSC: 68T37 PDF BibTeX XML Cite \textit{S. Villata} et al., Lect. Notes Comput. Sci. 6717, 74--85 (2011; Zbl 1341.68271) Full Text: DOI
Aucher, Guillaume; Boella, Guido; van der Torre, Leendert Privacy policies with modal logic: the dynamic turn. (English) Zbl 1250.68241 Governatori, Guido (ed.) et al., Deontic logic in computer science. 10th international conference, DEON 2010, Fiesole, Italy, July 7–9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14182-9/pbk). Lecture Notes in Computer Science 6181. Lecture Notes in Artificial Intelligence, 196-213 (2010). MSC: 68T27 03B45 PDF BibTeX XML Cite \textit{G. Aucher} et al., Lect. Notes Comput. Sci. 6181, 196--213 (2010; Zbl 1250.68241) Full Text: DOI
Boella, Guido; da Costa Pereira, Célia; Pigozzi, Gabriella; Tettamanzi, Andrea; van der Torre, Leendert The role of goals in belief selection. (English) Zbl 1205.03028 Log. J. IGPL 18, No. 4, 559-578 (2010). MSC: 03B42 68T27 68T42 PDF BibTeX XML Cite \textit{G. Boella} et al., Log. J. IGPL 18, No. 4, 559--578 (2010; Zbl 1205.03028) Full Text: DOI
Boella, Guido; Pigozzi, Gabriella; Singh, Munindar P.; Verhagen, Harko Normative multiagent sytems: guest editors’ introduction. (English) Zbl 1193.68253 Log. J. IGPL 18, No. 1, 1-3 (2010). MSC: 68T42 03B45 68T27 PDF BibTeX XML Cite \textit{G. Boella} et al., Log. J. IGPL 18, No. 1, 1--3 (2010; Zbl 1193.68253) Full Text: DOI
Baldoni, Matteo; Boella, Guido; van der Torre, Leendert The interplay between relationships, roles and objects. (English) Zbl 1274.68056 Arbab, Farhad (ed.) et al., Fundamentals of software engineering. Third IPM international conference, FSEN 2009, Kish Island, Iran, April 15–17, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11622-3/pbk). Lecture Notes in Computer Science 5961, 402-415 (2010). MSC: 68N19 PDF BibTeX XML Cite \textit{M. Baldoni} et al., Lect. Notes Comput. Sci. 5961, 402--415 (2010; Zbl 1274.68056) Full Text: DOI
Boella, G.; Van Der Torre, L.; Villata, S. Analyzing cooperation in iterative social network design. (English) Zbl 1217.91161 J. UCS 15, No. 13, 2676-2700 (2009). MSC: 91D30 68T42 PDF BibTeX XML Cite \textit{G. Boella} et al., J. UCS 15, No. 13, 2676--2700 (2009; Zbl 1217.91161) Full Text: Link
Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Villata, Serena Meta-argumentation modelling. I: Methodology and techniques. (English) Zbl 1185.68664 Stud. Log. 93, No. 2-3, 297-355 (2009). MSC: 68T27 PDF BibTeX XML Cite \textit{G. Boella} et al., Stud. Log. 93, No. 2--3, 297--355 (2009; Zbl 1185.68664) Full Text: DOI
Boella, Guido; Kaci, Souhila; van der Torre, Leendert Dynamics in argumentation with single extensions: Abstraction principles and the grounded extension. (English) Zbl 1245.91015 Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 107-118 (2009). MSC: 91A44 68T27 91A26 PDF BibTeX XML Cite \textit{G. Boella} et al., Lect. Notes Comput. Sci. 5590, 107--118 (2009; Zbl 1245.91015) Full Text: DOI
Boella, Guido; Sauro, Luigi; van der Torre, Leendert Algorithms for finding coalitions exploiting a new reciprocity condition. (English) Zbl 1186.68447 Log. J. IGPL 17, No. 3, 273-297 (2009). MSC: 68T27 91A12 PDF BibTeX XML Cite \textit{G. Boella} et al., Log. J. IGPL 17, No. 3, 273--297 (2009; Zbl 1186.68447) Full Text: DOI
Boella, Guido; van der Torre, Leendert Substantive and procedural norms in normative multiagent systems. (English) Zbl 1149.68416 J. Appl. Log. 6, No. 2, 152-171 (2008). MSC: 68T27 PDF BibTeX XML Cite \textit{G. Boella} and \textit{L. van der Torre}, J. Appl. Log. 6, No. 2, 152--171 (2008; Zbl 1149.68416) Full Text: DOI
Boella, Guido; van der Torre, Leendert An attacker model for normative multi-agent systems. (English) Zbl 1151.68647 Burkhard, Hans-Dieter (ed.) et al., Multi-agent systems and applications V. 5th international Central and Eastern European conference on multi-agent systems, CEEMAS 2007, Leipzig, Germany, September 25–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75253-0/pbk). Lecture Notes in Computer Science 4696. Lecture Notes in Artificial Intelligence, 42-51 (2007). MSC: 68T27 PDF BibTeX XML Cite \textit{G. Boella} and \textit{L. van der Torre}, Lect. Notes Comput. Sci. 4696, 42--51 (2007; Zbl 1151.68647) Full Text: DOI
Boella, Guido; van der Torre, Leendert Constitutive norms in the design of normative multiagent systems. (English) Zbl 1236.68247 Toni, Francesca (ed.) et al., Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27–29, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-33996-5/pbk). Lecture Notes in Computer Science 3900. Lecture Notes in Artificial Intelligence, 303-319 (2006). MSC: 68T42 68T27 68T30 PDF BibTeX XML Cite \textit{G. Boella} and \textit{L. van der Torre}, Lect. Notes Comput. Sci. 3900, 303--319 (2006; Zbl 1236.68247) Full Text: DOI
Boella, Guido; Hulstijn, Joris; van der Torre, Leendert A logic of abstract argumentation. (English) Zbl 1236.68246 Parsons, Simon (ed.) et al., Argumentation in multi-agent systems. Second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-36355-6/pbk). Lecture Notes in Computer Science 4049. Lecture Notes in Artificial Intelligence, 29-41 (2006). MSC: 68T42 03B45 68T27 PDF BibTeX XML Cite \textit{G. Boella} et al., Lect. Notes Comput. Sci. 4049, 29--41 (2006; Zbl 1236.68246) Full Text: DOI
Boella, Guido; van der Torre, Leendert Delegation of power in normative multiagent systems. (English) Zbl 1148.68479 Goble, Lou (ed.) et al., Deontic logic and artificial normative systems. 8th international workshop on deontic logic in computer science, DEON 2006, Utrecht, The Netherlands, July 12–14, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35842-0/pbk). Lecture Notes in Computer Science 4048. Lecture Notes in Artificial Intelligence, 36-52 (2006). MSC: 68T27 03B45 03B60 PDF BibTeX XML Cite \textit{G. Boella} and \textit{L. van der Torre}, Lect. Notes Comput. Sci. 4048, 36--52 (2006; Zbl 1148.68479) Full Text: DOI
Boella, Guido; van der Torre, Leendert A logical architecture of a normative system. (English) Zbl 1148.68478 Goble, Lou (ed.) et al., Deontic logic and artificial normative systems. 8th international workshop on deontic logic in computer science, DEON 2006, Utrecht, The Netherlands, July 12–14, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35842-0/pbk). Lecture Notes in Computer Science 4048. Lecture Notes in Artificial Intelligence, 24-35 (2006). MSC: 68T27 03B45 03B60 PDF BibTeX XML Cite \textit{G. Boella} and \textit{L. van der Torre}, Lect. Notes Comput. Sci. 4048, 24--35 (2006; Zbl 1148.68478) Full Text: DOI
Boella, Guido; Hulstijn, Joris; van der Torre, Leendert Interaction in normative multi-agent systems. (English) Zbl 1276.68149 Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 135-162 (2005). MSC: 68T42 03B45 68T27 PDF BibTeX XML Cite \textit{G. Boella} et al., Electron. Notes Theor. Comput. Sci. 141, No. 5, 135--162 (2005; Zbl 1276.68149) Full Text: Link
Boella, Guido; Hulstijn, Joris; van der Torre, Leendert Argumentation for access control. (English) Zbl 1155.68541 Bandini, Stefania (ed.) et al., AI\({}^*\)IA 2005: advances in artificial intelligence. 9th congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29041-9/pbk). Lecture Notes in Computer Science 3673. Lecture Notes in Artificial Intelligence, 86-97 (2005). MSC: 68T99 PDF BibTeX XML Cite \textit{G. Boella} et al., Lect. Notes Comput. Sci. 3673, 86--97 (2005; Zbl 1155.68541) Full Text: DOI
Boella, Guido; van der Torre, Leendert \(\Delta \): The social delegation cycle. (English) Zbl 1169.68612 Lomuscio, Alessio (ed.) et al., Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22111-5/pbk). Lecture Notes in Computer Science 3065. Lecture Notes in Artificial Intelligence, 29-42 (2004). MSC: 68T27 03B45 PDF BibTeX XML Cite \textit{G. Boella} and \textit{L. van der Torre}, Lect. Notes Comput. Sci. 3065, 29--42 (2004; Zbl 1169.68612) Full Text: DOI
Boella, Guido; van der Torre, Leendert Decentralized control. Obligations and permissions in virtual communities of agents. (English) Zbl 1070.68622 Zhong, Ning (ed.) et al., Foundations of intelligent systems. 14th international symposium, ISMIS 2003, Maebashi City, Japan, October 28–31, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20256-0/pbk). Lecture Notes in Computer Science 2871. Lecture Notes in Artificial Intelligence, 618-622 (2003). MSC: 68T35 PDF BibTeX XML Cite \textit{G. Boella} and \textit{L. van der Torre}, Lect. Notes Comput. Sci. 2871, 618--622 (2003; Zbl 1070.68622)
Boella, Guido; Damiano, Rossana A replanning algorithm for a reactive agent architecture. (English) Zbl 1020.68551 Scott, Donia (ed.), Artificial intelligence: methodology, systems, and applications. 10th international conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2443, 183-192 (2002). MSC: 68U99 68T20 PDF BibTeX XML Cite \textit{G. Boella} and \textit{R. Damiano}, Lect. Notes Comput. Sci. 2443, 183--192 (2002; Zbl 1020.68551) Full Text: Link
Boella, Guido; Damiano, Rossana An architecture for normative reactive agents. (English) Zbl 1012.68800 Kuwabara, Kazuhiro (ed.) et al., Intelligent agents and multi-agent systems. 5th Pacific Rim international workshop on multi-agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2413, 1-17 (2002). MSC: 68U99 68T99 PDF BibTeX XML Cite \textit{G. Boella} and \textit{R. Damiano}, Lect. Notes Comput. Sci. 2413, 1--17 (2002; Zbl 1012.68800) Full Text: Link
Boella, G.; Damiano, R.; Danieli, M.; Lesmo, L. Using XML for representing domain dependent knowledge in Dialogos. (English) Zbl 1009.68790 Matoušek, Václav (ed.) et al., Text, speech and dialogue. 4th international conference, TSD 2001, Železná Ruda, Czech Republic, September 11-13, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2166, 381-387 (2001). MSC: 68U99 68T50 PDF BibTeX XML Cite \textit{G. Boella} et al., Lect. Notes Comput. Sci. 2166, 381--387 (2001; Zbl 1009.68790) Full Text: Link
Boella, Guido; Lesmo, Leonardo; Favali, Lyda The definition of legal relations in a BDI multiagent framework. (English) Zbl 1007.68524 Esposito, Floriana (ed.), AI*IA 2001: Advances in artificial intelligence. 7th congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2175, 225-236 (2001). MSC: 68T01 PDF BibTeX XML Cite \textit{G. Boella} et al., Lect. Notes Comput. Sci. 2175, 225--236 (2001; Zbl 1007.68524) Full Text: Link
Boella, Guido; Lesmo, Leonardo An approach to anaphora based on mental models. (English) Zbl 0986.68568 Akman, Varol (ed.) et al., Modeling and using context. 3rd international and interdisciplinary conference, CONTEXT 2001, Dundee, GB, July 27-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2116, 413-416 (2001). MSC: 68U99 68U20 PDF BibTeX XML Cite \textit{G. Boella} and \textit{L. Lesmo}, Lect. Notes Comput. Sci. 2116, 413--416 (2001; Zbl 0986.68568) Full Text: Link
Boella, Guido; Damiano, Rossana; Lesmo, Leonardo Cooperation and group utility. (English) Zbl 0970.68626 Jennings, Nicholas R. (ed.) et al., Intelligent agents VI. Agent theories, architectures, and languages. 6th international workshop, ATAL ’99. Orlando, FL, USA, July 15-17, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1757, 319-333 (2000). MSC: 68U99 68T99 PDF BibTeX XML Cite \textit{G. Boella} et al., Lect. Notes Comput. Sci. 1757, 319--333 (2000; Zbl 0970.68626)