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
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
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
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert Higher-order coalition logic. (English) Zbl 1211.03034 Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 555-560 (2010). MSC: 03B45 PDF BibTeX XML Cite \textit{G. Boella} et al., Front. Artif. Intell. Appl. 215, 555--560 (2010; Zbl 1211.03034) 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
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; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert Fibred security language. (English) Zbl 1181.03033 Stud. Log. 92, No. 3, 395-436 (2009). MSC: 03B70 03B45 03B62 PDF BibTeX XML Cite \textit{G. Boella} et al., Stud. Log. 92, No. 3, 395--436 (2009; Zbl 1181.03033) 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 Obligations as social constructs. (English) Zbl 1186.03040 Cappelli, Amedeo (ed.) et al., AI*IA 2003: Advances in artificial intelligence. 8th congress of the Italian association for artificial intelligence, Pisa, Italy, September 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20119-X/pbk). Lect. Notes Comput. Sci. 2829, 27-38 (2003). MSC: 03B45 03A05 PDF BibTeX XML Cite \textit{G. Boella} and \textit{L. van der Torre}, Lect. Notes Comput. Sci. 2829, 27--38 (2003; Zbl 1186.03040) 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)