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 PDFBibTeX XMLCite \textit{G. Boella} et al., J. Logic Lang. Inf. 25, No. 3--4, 273--297 (2016; Zbl 1396.03015) Full Text: DOI Link
Perotti, Alan; Boella, Guido; d’Avila Garcez, Artur Runtime verification through forward chaining. (English) Zbl 1464.68212 Bjørner, Nikolaj (ed.) et al., Proceedings of the first workshop on Horn clauses for verification and synthesis, HCVS 2014, Vienna, Austria, July 17, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 169, 68-81 (2014). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{A. Perotti} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 169, 68--81 (2014; Zbl 1464.68212) Full Text: arXiv Link
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 PDFBibTeX XMLCite \textit{J. Leite} (ed.) et al., J. Log. Comput. 24, No. 6, 1141--1144 (2014; Zbl 1308.00054) 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 PDFBibTeX XMLCite \textit{S. Colombo Tosatto} et al., Lect. Notes Comput. Sci. 7393, 16--30 (2012; Zbl 1297.68218) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{G. Aucher} et al., Lect. Notes Comput. Sci. 6181, 196--213 (2010; Zbl 1250.68241) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{G. Boella} et al., Log. J. IGPL 18, No. 4, 559--578 (2010; Zbl 1205.03028) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{G. Boella} et al., Log. J. IGPL 18, No. 1, 1--3 (2010; Zbl 1193.68253) Full Text: DOI
Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio A meta-model of access control in a fibred security language. (English) Zbl 1181.03031 Stud. Log. 92, No. 3, 437-477 (2009). MSC: 03B70 03B45 03B62 PDFBibTeX XMLCite \textit{S. Barker} et al., Stud. Log. 92, No. 3, 437--477 (2009; Zbl 1181.03031) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{G. Boella} et al., Stud. Log. 92, No. 3, 395--436 (2009; Zbl 1181.03033) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{G. Boella} and \textit{L. van der Torre}, Lect. Notes Comput. Sci. 4048, 36--52 (2006; Zbl 1148.68479) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{G. Boella} et al., Electron. Notes Theor. Comput. Sci. 141, No. 5, 135--162 (2005; Zbl 1276.68149) Full Text: Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{G. Boella} and \textit{L. van der Torre}, Lect. Notes Comput. Sci. 2829, 27--38 (2003; Zbl 1186.03040) Full Text: DOI