Belardinelli, Francesco; Lomuscio, Alessio; Malvone, Vadim; Yu, Emily Approximating perfect recall when model checking strategic abilities: theory and applications. (English) Zbl 07527543 J. Artif. Intell. Res. (JAIR) 73, 897-932 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{F. Belardinelli} et al., J. Artif. Intell. Res. (JAIR) 73, 897--932 (2022; Zbl 07527543) Full Text: DOI
Lomuscio, Alessio; Pirovano, Edoardo A counter abstraction technique for verifying properties of probabilistic swarm systems. (English) Zbl 07505976 Artif. Intell. 305, Article ID 103666, 23 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{E. Pirovano}, Artif. Intell. 305, Article ID 103666, 23 p. (2022; Zbl 07505976) Full Text: DOI
Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha Verification of multi-agent systems with public actions against strategy logic. (English) Zbl 1451.68290 Artif. Intell. 285, Article ID 103302, 28 p. (2020). MSC: 68T42 68Q60 68T27 PDFBibTeX XMLCite \textit{F. Belardinelli} et al., Artif. Intell. 285, Article ID 103302, 28 p. (2020; Zbl 1451.68290) Full Text: DOI
Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello Practical verification of multi-agent systems against Slk specifications. (English) Zbl 1395.68255 Inf. Comput. 261, Part 3, 588-614 (2018). MSC: 68T27 68Q60 68T42 PDFBibTeX XMLCite \textit{P. Čermák} et al., Inf. Comput. 261, Part 3, 588--614 (2018; Zbl 1395.68255) Full Text: DOI
Grandi, Fabio (ed.); Lange, Martin (ed.); Lomuscio, Alessio (ed.) 22nd international symposium on temporal representation and reasoning (TIME 2015). (English) Zbl 1384.00109 Inf. Comput. 259, Part 3, 303-304 (2018). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{F. Grandi} (ed.) et al., Inf. Comput. 259, Part 3, 303--304 (2018; Zbl 1384.00109) Full Text: DOI
Ezekiel, J.; Lomuscio, A. Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. (English) Zbl 1370.68201 Inf. Comput. 254, Part 2, 167-194 (2017). MSC: 68Q60 68M12 68M15 68T42 PDFBibTeX XMLCite \textit{J. Ezekiel} and \textit{A. Lomuscio}, Inf. Comput. 254, Part 2, 167--194 (2017; Zbl 1370.68201) Full Text: DOI
Kouvaros, Panagiotis; Lomuscio, Alessio Parameterised model checking for alternating-time temporal logic. (English) Zbl 1403.68127 Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 1230-1237 (2016). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{P. Kouvaros} and \textit{A. Lomuscio}, Front. Artif. Intell. Appl. 285, 1230--1237 (2016; Zbl 1403.68127) Full Text: DOI
Belardinelli, Francesco; Lomuscio, Alessio Abstraction-based verification of infinite-state reactive modules. (English) Zbl 1403.68299 Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 725-733 (2016). MSC: 68T42 68Q60 PDFBibTeX XMLCite \textit{F. Belardinelli} and \textit{A. Lomuscio}, Front. Artif. Intell. Appl. 285, 725--733 (2016; Zbl 1403.68299) Full Text: DOI
Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub Agent-based refinement for predicate abstraction of multi-agent systems. (English) Zbl 1403.68300 Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 286-294 (2016). MSC: 68T42 68Q60 PDFBibTeX XMLCite \textit{F. Belardinelli} et al., Front. Artif. Intell. Appl. 285, 286--294 (2016; Zbl 1403.68300) Full Text: DOI
Belardinelli, Francesco; Lomuscio, Alessio A three-value abstraction technique for the verification of epistemic properties in multi-agent systems. (English) Zbl 1483.68417 Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 112-126 (2016). MSC: 68T42 03B42 68Q60 68T27 PDFBibTeX XMLCite \textit{F. Belardinelli} and \textit{A. Lomuscio}, Lect. Notes Comput. Sci. 10021, 112--126 (2016; Zbl 1483.68417) Full Text: DOI
Kouvaros, Panagiotis; Lomuscio, Alessio Parameterised verification for multi-agent systems. (English) Zbl 1351.68294 Artif. Intell. 234, 152-189 (2016). MSC: 68T42 68Q60 PDFBibTeX XMLCite \textit{P. Kouvaros} and \textit{A. Lomuscio}, Artif. Intell. 234, 152--189 (2016; Zbl 1351.68294) Full Text: DOI
Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio Verification of agent-based artifact systems. (English) Zbl 1367.68321 J. Artif. Intell. Res. (JAIR) 51, 333-376 (2014). MSC: 68T42 PDFBibTeX XMLCite \textit{F. Belardinelli} et al., J. Artif. Intell. Res. (JAIR) 51, 333--376 (2014; Zbl 1367.68321) Full Text: DOI arXiv
Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng Assume-guarantee reasoning with local specifications. (English) Zbl 1286.68319 Int. J. Found. Comput. Sci. 24, No. 4, 419-444 (2013). MSC: 68Q60 68M14 PDFBibTeX XMLCite \textit{A. Lomuscio} et al., Int. J. Found. Comput. Sci. 24, No. 4, 419--444 (2013; Zbl 1286.68319) Full Text: DOI
Belardinelli, F.; Gonzalez, P.; Lomuscio, A. Automated verification of quantum protocols using mcmas. (English) Zbl 1458.68112 Wiklicky, Herbert (ed.) et al., Proceedings of the 10th workshop on quantitative aspects of programming languages and systems, Tallinn, Estonia, March 31 and April 1, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 85, 48-62 (2012). MSC: 68Q60 68Q12 81P68 PDFBibTeX XMLCite \textit{F. Belardinelli} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 85, 48--62 (2012; Zbl 1458.68112) Full Text: arXiv Link
Belardinelli, F.; Lomuscio, A. Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. (English) Zbl 1267.68221 J. Artif. Intell. Res. (JAIR) 45, 1-45 (2012). Reviewer: Giacomo Bonanno (Davis) MSC: 68T27 03B42 03B44 68T42 PDFBibTeX XMLCite \textit{F. Belardinelli} and \textit{A. Lomuscio}, J. Artif. Intell. Res. (JAIR) 45, 1--45 (2012; Zbl 1267.68221) Full Text: DOI arXiv
Lomuscio, Alessio; Penczek, Wojciech Symbolic model checking for temporal-epistemic logic. (English) Zbl 1356.68144 Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 172-195 (2012). MSC: 68Q60 03B42 03B44 PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{W. Penczek}, Lect. Notes Comput. Sci. 7360, 172--195 (2012; Zbl 1356.68144) Full Text: DOI
Barker, Steve; Jones, Andrew J. I.; Kakas, Antonis; Kowalski, Robert A.; Lomuscio, Alessio; Miller, Rob; Muggleton, Stephen; Sartor, Giovanni The scientific contribution of Marek Sergot. (English) Zbl 1356.01008 Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 4-11 (2012). MSC: 01A70 03-03 68-03 PDFBibTeX XMLCite \textit{S. Barker} et al., Lect. Notes Comput. Sci. 7360, 4--11 (2012; Zbl 1356.01008) Full Text: DOI
Lomuscio, Alessio; Penczek, Wojciech; Solanki, Monika; Szreter, Maciej Runtime monitoring of contract regulated web services. (English) Zbl 1234.68028 Fundam. Inform. 111, No. 3, 339-355 (2011). MSC: 68M11 68Q45 68Q85 PDFBibTeX XMLCite \textit{A. Lomuscio} et al., Fundam. Inform. 111, No. 3, 339--355 (2011; Zbl 1234.68028) Full Text: Link
Belardinelli, Francesco; Jones, Andrew V.; Lomuscio, Alessio Model checking temporal-epistemic logic using alternating tree automata. (English) Zbl 1234.68249 Fundam. Inform. 112, No. 1, 19-37 (2011). MSC: 68Q60 68Q45 03B70 PDFBibTeX XMLCite \textit{F. Belardinelli} et al., Fundam. Inform. 112, No. 1, 19--37 (2011; Zbl 1234.68249) Full Text: Link
Belardinelli, Francesco; Lomuscio, Alessio First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. (English) Zbl 1252.03031 Fundam. Inform. 106, No. 2-4, 175-190 (2011). Reviewer: Andreas Herzig (Toulouse) MSC: 03B42 03B44 68T27 68T42 PDFBibTeX XMLCite \textit{F. Belardinelli} and \textit{A. Lomuscio}, Fundam. Inform. 106, No. 2--4, 175--190 (2011; Zbl 1252.03031) Full Text: DOI
Lomuscio, Alessio; Qu, Hongyang; Russo, Francesco Automatic data-abstraction in model checking multi-agent systems. (English) Zbl 1327.68162 van der Meyden, Ron (ed.) et al., Model checking and artificial intelligence. 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-20673-3/pbk). Lecture Notes in Computer Science 6572. Lecture Notes in Artificial Intelligence, 52-68 (2011). MSC: 68Q60 68T42 PDFBibTeX XMLCite \textit{A. Lomuscio} et al., Lect. Notes Comput. Sci. 6572, 52--68 (2011; Zbl 1327.68162) Full Text: DOI
Lomuscio, Alessio; Walker, Nigel G.; Strulo, Ben; Wu, Peng Model checking optimisation based congestion control algorithms. (English) Zbl 1216.68162 Fundam. Inform. 102, No. 1, 77-96 (2010). MSC: 68Q60 68M12 PDFBibTeX XMLCite \textit{A. Lomuscio} et al., Fundam. Inform. 102, No. 1, 77--96 (2010; Zbl 1216.68162) Full Text: DOI
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang Parallel model checking for temporal epistemic logic. (English) Zbl 1211.68406 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, 543-548 (2010). MSC: 68T27 03B42 03B44 68Q60 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Front. Artif. Intell. Appl. 215, 543--548 (2010; Zbl 1211.68406) Full Text: DOI
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. (English) Zbl 1213.68382 Fundam. Inform. 101, No. 1-2, 71-90 (2010). MSC: 68Q60 68T27 68T42 PDFBibTeX XMLCite \textit{A. Lomuscio} et al., Fundam. Inform. 101, No. 1--2, 71--90 (2010; Zbl 1213.68382) Full Text: DOI
Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio Automatic verification of temporal-epistemic properties of cryptographic protocols. (English) Zbl 1186.68105 J. Appl. Non-Class. Log. 19, No. 4, 463-487 (2009). MSC: 68N20 68Q60 94A60 94A62 68P25 PDFBibTeX XMLCite \textit{I. Boureanu} et al., J. Appl. Non-Class. Log. 19, No. 4, 463--487 (2009; Zbl 1186.68105) Full Text: DOI
Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang A data symmetry reduction technique for temporal-epistemic logic. (English) Zbl 1262.68110 Liu, Zhiming (ed.) et al., Automated technology for verification and analysis. 7th international symposium, ATVA 2009, Macao, China, October 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04760-2/pbk). Lecture Notes in Computer Science 5799, 69-83 (2009). MSC: 68Q60 03B42 03B44 PDFBibTeX XMLCite \textit{M. Cohen} et al., Lect. Notes Comput. Sci. 5799, 69--83 (2009; Zbl 1262.68110) Full Text: DOI
Belardinelli, F.; Lomuscio, A. Quantified epistemic logics for reasoning about knowledge in multi-agent systems. (English) Zbl 1191.68646 Artif. Intell. 173, No. 9-10, 982-1013 (2009). MSC: 68T27 03B42 68T30 68T42 PDFBibTeX XMLCite \textit{F. Belardinelli} and \textit{A. Lomuscio}, Artif. Intell. 173, No. 9--10, 982--1013 (2009; Zbl 1191.68646) Full Text: DOI
Belardinelli, Francesco; Lomuscio, Alessio First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. (English) Zbl 1246.03036 Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 140-154 (2009). MSC: 03B42 03B44 68T27 PDFBibTeX XMLCite \textit{F. Belardinelli} and \textit{A. Lomuscio}, Lect. Notes Comput. Sci. 5514, 140--154 (2009; Zbl 1246.03036) Full Text: DOI
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang Towards partial order reduction for model checking temporal epistemic logic. (English) Zbl 1226.68043 Peled, Doron A. (ed.) et al., Model checking and artificial intelligence. 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-00430-8/pbk). Lecture Notes in Computer Science 5348. Lecture Notes in Artificial Intelligence, 106-121 (2009). MSC: 68Q60 03B42 03B44 68T27 68T42 PDFBibTeX XMLCite \textit{A. Lomuscio} et al., Lect. Notes Comput. Sci. 5348, 106--121 (2009; Zbl 1226.68043) Full Text: DOI
Belardinelli, Francesco; Lomuscio, Alessio A complete quantified epistemic logic for reasoning about message passing systems. (English) Zbl 1175.68430 Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 248-267 (2009). MSC: 68T27 03B42 68T42 PDFBibTeX XMLCite \textit{F. Belardinelli} and \textit{A. Lomuscio}, Lect. Notes Comput. Sci. 5056, 248--267 (2009; Zbl 1175.68430) Full Text: DOI
Lomuscio, Alessio; Penczek, Wojciech LDYIS: a framework for model checking security protocols. (English) Zbl 1160.68443 Fundam. Inform. 85, No. 1-4, 359-375 (2008). MSC: 68Q60 94A60 PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{W. Penczek}, Fundam. Inform. 85, No. 1--4, 359--375 (2008; Zbl 1160.68443)
Lomuscio, Alessio; Penczek, Wojciech; Woźna, Bożena Bounded model checking for knowledge and real time. (English) Zbl 1168.68422 Artif. Intell. 171, No. 16-17, 1011-1038 (2007). MSC: 68Q60 68T27 PDFBibTeX XMLCite \textit{A. Lomuscio} et al., Artif. Intell. 171, No. 16--17, 1011--1038 (2007; Zbl 1168.68422) Full Text: DOI
Lomuscio, Alessio; Woźna, Bożena; Zbrzezny, Andrzej Bounded model checking real-time multi-agent systems with clock differences: theory and implementation. (English) Zbl 1196.68285 Edelkamp, Stefan (ed.) et al., Model checking and artificial intelligence. 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-74127-5/pbk). Lecture Notes in Computer Science 4428. Lecture Notes in Artificial Intelligence, 95-112 (2007). MSC: 68T42 68Q60 PDFBibTeX XMLCite \textit{A. Lomuscio} et al., Lect. Notes Comput. Sci. 4428, 95--112 (2007; Zbl 1196.68285) Full Text: DOI
Lomuscio, Alessio; Raimondi, Franco; Woźna, Bożena Verification of the TESLA protocol in MCMAS-X. (English) Zbl 1124.68009 Fundam. Inform. 79, No. 3-4, 473-486 (2007). MSC: 68M12 68T05 68Q60 94A62 PDFBibTeX XMLCite \textit{A. Lomuscio} et al., Fundam. Inform. 79, No. 3--4, 473--486 (2007; Zbl 1124.68009)
Edelkamp, Stefan (ed.); Lomuscio, Alessio (ed.) Model checking and artificial intelligence. 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006. Revised selected and invited papers. (English) Zbl 1119.68007 Lecture Notes in Computer Science 4428. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-74127-5/pbk). xi, 185 p. (2007). MSC: 68-06 68Q60 68T20 00B25 PDFBibTeX XMLCite \textit{S. Edelkamp} (ed.) and \textit{A. Lomuscio} (ed.), Model checking and artificial intelligence. 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006. Revised selected and invited papers. Berlin: Springer (2007; Zbl 1119.68007) Full Text: DOI
Raimondi, Franco; Lomuscio, Alessio Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. (English) Zbl 1122.68076 J. Appl. Log. 5, No. 2, 235-251 (2007). MSC: 68Q60 68T27 PDFBibTeX XMLCite \textit{F. Raimondi} and \textit{A. Lomuscio}, J. Appl. Log. 5, No. 2, 235--251 (2007; Zbl 1122.68076) Full Text: DOI
van der Hoek, Wiebe (ed.); Lomuscio, Alessio (ed.); de Vink, Erik (ed.); Wooldridge, Mike (ed.) Proceedings of the 3rd international workshop on logic and communication in multi-agent systems (LCMAS 2005), Edinburgh, UK, August 1, 2005. (English) Zbl 1272.68038 Electronic Notes in Theoretical Computer Science 157, No. 4. Amsterdam: Elsevier. 137 p., electronic only (2006). MSC: 68-06 68T27 68T42 00B25 PDFBibTeX XMLCite \textit{W. van der Hoek} (ed.) et al., Proceedings of the 3rd international workshop on logic and communication in multi-agent systems (LCMAS 2005), Edinburgh, UK, August 1, 2005. Amsterdam: Elsevier (2006; Zbl 1272.68038) Full Text: Link
Lomuscio, Alessio; Woźna, Bożena A complete and decidable axiomatisation for deontic interpreted systems. (English) Zbl 1148.03319 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, 238-254 (2006). MSC: 03B45 03B44 68T27 PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{B. Woźna}, Lect. Notes Comput. Sci. 4048, 238--254 (2006; Zbl 1148.03319) Full Text: DOI
Lomuscio, Alessio; Raimondi, Franco mcmas: a model checker for multi-agent systems. (English) Zbl 1459.68121 Hermanns, Holger (ed.) et al., Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 3920, 450-454 (2006). MSC: 68Q60 68T42 PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{F. Raimondi}, Lect. Notes Comput. Sci. 3920, 450--454 (2006; Zbl 1459.68121) Full Text: DOI
Kacprzak, Magdalena; Lomuscio, Alessio; Niewiadomski, Artur; Penczek, Wojciech; Raimondi, Franco; Szreter, Maciej Comparing BDD and SAT based techniques for model checking Chaum’s dining cryptographers protocol. (English) Zbl 1097.68074 Fundam. Inform. 72, No. 1-3, 215-234 (2006). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. Kacprzak} et al., Fundam. Inform. 72, No. 1--3, 215--234 (2006; Zbl 1097.68074)
Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech Bounded model checking for deontic interpreted systems. (English) Zbl 1272.68279 van der Hoek, Wiebe (ed.) et al., Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 126, 93-114 (2005). MSC: 68Q60 68T27 68T42 PDFBibTeX XMLCite \textit{B. Woźna} et al., Electron. Notes Theor. Comput. Sci. 126, 93--114 (2005; Zbl 1272.68279) Full Text: Link
van der Hoek, Wiebe (ed.); Lomuscio, Alessio (ed.); de Vink, Erik (ed.); Wooldridge, Mike (ed.) Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. (English) Zbl 1271.68063 Electronic Notes in Theoretical Computer Science 126. Amsterdam: Elsevier. 114 p., electronic only (2005). MSC: 68-06 68T27 68T42 00B25 PDFBibTeX XMLCite \textit{W. van der Hoek} (ed.) et al., Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16--20, 2004. Amsterdam: Elsevier (2005; Zbl 1271.68063) Full Text: Link
Woźna, Bożena; Lomuscio, Alessio A logic for knowledge, correctness, and real time. (English) Zbl 1081.68098 Leite, João (ed.) et al., Computational logic in multi-agent systems. 5th international workshop, CLIMA V, Lisbon, Portugal, September 29–30, 2004. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-28060-X/pbk). Lecture Notes in Computer Science 3487. Lecture Notes in Artificial Intelligence, 1-15 (2005). MSC: 68T27 PDFBibTeX XMLCite \textit{B. Woźna} and \textit{A. Lomuscio}, Lect. Notes Comput. Sci. 3487, 1--15 (2005; Zbl 1081.68098) Full Text: DOI
van der Hoek, Wiebe; Lomuscio, Alessio A logic for ignorance. (English) Zbl 1270.03042 van der Hoek, Wiebe (ed.) et al., LCMAS 2003. Proceedings of the first workshop on logic and communication in multi-agent systems, Eindhoven, The Netherlands, June 29, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 85, No. 2, 117-133 (2004). MSC: 03B45 68T27 68T42 PDFBibTeX XMLCite \textit{W. van der Hoek} and \textit{A. Lomuscio}, Electron. Notes Theor. Comput. Sci. 85, No. 2, 117--133 (2004; Zbl 1270.03042) Full Text: Link
van der Hoek, Wiebe (ed.); Lomuscio, Alessio (ed.); de Vink, Erik (ed.); Wooldrige, Mike (ed.) LCMAS 2003. Proceedings of the first workshop on logic and communication in multi-agent systems, Eindhoven, The Netherlands, June 29, 2003. (English) Zbl 1271.68064 Electronic Notes in Theoretical Computer Science 85, No. 2. Amsterdam: Elsevier. 81-207, electronic only (2004). MSC: 68-06 68T27 68T42 00B25 PDFBibTeX XMLCite \textit{W. van der Hoek} (ed.) et al., LCMAS 2003. Proceedings of the first workshop on logic and communication in multi-agent systems, Eindhoven, The Netherlands, June 29, 2003. Amsterdam: Elsevier (2004; Zbl 1271.68064) Full Text: Link
Raimondi, Franco; Lomuscio, Alessio Automatic verification of deontic properties of multi-agent systems. (English) Zbl 1169.68618 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, 228-242 (2004). MSC: 68T27 68Q60 PDFBibTeX XMLCite \textit{F. Raimondi} and \textit{A. Lomuscio}, Lect. Notes Comput. Sci. 3065, 228--242 (2004; Zbl 1169.68618) Full Text: DOI
Kacprzak, M.; Lomuscio, A.; Pencek, W. From bounded to unbounded model checking for temporal epistemic logic. (English) Zbl 1102.68107 Fundam. Inform. 63, No. 2-3, 221-240 (2004). MSC: 68T01 68T27 68Q60 03B42 PDFBibTeX XMLCite \textit{M. Kacprzak} et al., Fundam. Inform. 63, No. 2--3, 221--240 (2004; Zbl 1102.68107) Full Text: Link
Lomuscio, Alessio (ed.); Nute, Donald (ed.) Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. (English) Zbl 1051.03004 Lecture Notes in Computer Science 3065. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 3-540-22111-5/pbk). x, 275 p. (2004). MSC: 03-06 68-06 00B25 03B70 PDFBibTeX XMLCite \textit{A. Lomuscio} (ed.) and \textit{D. Nute} (ed.), 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 (2004; Zbl 1051.03004) Full Text: DOI
Lomuscio, Alessio; Sergot, Marek A formalisation of violation, error recovery, and enforcement in the bit transmission problem. (English) Zbl 1076.68074 J. Appl. Log. 2, No. 1, 93-116 (2004). MSC: 68T27 68T30 03B70 PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{M. Sergot}, J. Appl. Log. 2, No. 1, 93--116 (2004; Zbl 1076.68074) Full Text: DOI
Governatori, Guido; Lomuscio, Alessio; Sergot, Marek J. A tableaux system for deontic interpreted systems. (English) Zbl 1205.03026 Gedeon, Tamás D. (ed.) et al., AI 2003: advances in artificial intelligence. 16th Australian conference on AI, Perth, Australia, December 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20646-9/pbk). Lecture Notes in Computer Science 2903. Lecture Notes in Artificial Intelligence, 339-351 (2003). MSC: 03B35 03B45 68T15 PDFBibTeX XMLCite \textit{G. Governatori} et al., Lect. Notes Comput. Sci. 2903, 339--351 (2003; Zbl 1205.03026) Full Text: DOI
Penczek, Wojciech; Lomuscio, Alessio Verifying epistemic properties of multi-agent systems via bounded model checking. (English) Zbl 1111.68512 Fundam. Inform. 55, No. 2, 167-185 (2003). MSC: 68Q60 68Q85 68T05 PDFBibTeX XMLCite \textit{W. Penczek} and \textit{A. Lomuscio}, Fundam. Inform. 55, No. 2, 167--185 (2003; Zbl 1111.68512)
Lomuscio, Alessio; Sergot, Marek Deontic interpreted systems. (English) Zbl 1033.03012 Stud. Log. 75, No. 1, 63-92 (2003). MSC: 03B45 68T27 03B42 PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{M. Sergot}, Stud. Log. 75, No. 1, 63--92 (2003; Zbl 1033.03012) Full Text: DOI
Lomuscio, Alessio; Sergot, Marek On multi-agent systems specification via deontic logic. (English) Zbl 1050.68131 Meyer, John-Jules Ch. (ed.) et al., Intelligent agents VIII. Agent theories, architectures, and languages. 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1–3, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43858-0). Lect. Notes Comput. Sci. 2333, 86-99 (2002). MSC: 68T27 03B45 PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{M. Sergot}, Lect. Notes Comput. Sci. 2333, 86--99 (2002; Zbl 1050.68131) Full Text: Link
Wooldridge, Michael; Lomuscio, Alessio A computationally grounded logic of visibility, perception, and knowledge. (English) Zbl 0974.68203 Log. J. IGPL 9, No. 2, 257-272 (2001). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{M. Wooldridge} and \textit{A. Lomuscio}, Log. J. IGPL 9, No. 2, 257--272 (2001; Zbl 0974.68203) Full Text: DOI Link
Wooldridge, Michael; Lomuscio, Alessio Multi-agent \(\mathcal {VSK}\) logic. (English) Zbl 0998.68164 Ojeda-Aciego, Manuel (ed.) et al., Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1919, 300-312 (2000). MSC: 68T27 68T40 PDFBibTeX XMLCite \textit{M. Wooldridge} and \textit{A. Lomuscio}, Lect. Notes Comput. Sci. 1919, 300--312 (2000; Zbl 0998.68164)
Lomuscio, Alessio; Ryan, Mark A spectrum of modes of knowledge sharing between agents. (English) Zbl 0956.03017 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, 13-26 (2000). MSC: 03B42 68T30 PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{M. Ryan}, Lect. Notes Comput. Sci. 1757, 13--26 (2000; Zbl 0956.03017)
Wooldridge, Michael; Lomuscio, Alessio Reasoning about visibility, perception, and knowledge. (English) Zbl 0961.68127 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, 1-12 (2000). MSC: 68T27 PDFBibTeX XMLCite \textit{M. Wooldridge} and \textit{A. Lomuscio}, Lect. Notes Comput. Sci. 1757, 1--12 (2000; Zbl 0961.68127)