11 found
Order:
  1.  44
    Deontic Interpreted Systems.Alessio Lomuscio & Marek Sergot - 2003 - Studia Logica 75 (1):63 - 92.
    We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45n i-j, is a stronger version of KD, the system often referred to as Standard (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  6
    Deontic Interpreted Systems.Alessio Lomuscio & Marek Sergot - 2003 - Studia Logica 75 (1):63-92.
    We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, $\text{KD}45_{n}^{i-j}$, is a stronger version of KD, the system often referred to as Standard Deontic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  3. Parameterised Verification for Multi-Agent Systems.Panagiotis Kouvaros & Alessio Lomuscio - 2016 - Artificial Intelligence 234:152-189.
  4. Bounded Model Checking for Knowledge and Real Time.Alessio Lomuscio, Wojciech Penczek & Bożena Woźna - 2007 - Artificial Intelligence 171 (16-17):1011-1038.
  5.  3
    A Formalisation of Violation, Error Recovery, and Enforcement in the Bit Transmission Problem.Alessio Lomuscio & Marek Sergot - 2004 - Journal of Applied Logic 2 (1):93-116.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  51
    Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols.Ioana Boureanu, Mika Cohen & Alessio Lomuscio - 2009 - Journal of Applied Non-Classical Logics 19 (4):463-487.
    We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language CAPSL. We define a translation from CAPSL models into interpreted systems, a popular semantics for temporal-epistemic logic, and rewrite CAPSL goals as temporal-epistemic specifications. We present a compiler that implements this translation. The compiler links to the symbolic model checker MCMAS. We evaluate the technique on protocols in the Clark-Jacobs library and in the SPORE repository against custom secrecy and authentication requirements.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  22
    A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results.Alessio Lomuscio & Bożena Woźna - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies Iii. Springer. pp. 188--204.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  16
    Bounded Model Checking Real-Time Multi-Agent Systems with Clock Differences: Theory and Implementation.Alessio Lomuscio, Bożena Woźna & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 95--112.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  10
    Automatic Verification of Multi-Agent Systems by Model Checking Via Ordered Binary Decision Diagrams.Franco Raimondi & Alessio Lomuscio - 2007 - Journal of Applied Logic 5 (2):235-251.
  10.  2
    Verification of Multi-Agent Systems with Public Actions Against Strategy Logic.Francesco Belardinelli, Alessio Lomuscio, Aniello Murano & Sasha Rubin - 2020 - Artificial Intelligence 285:103302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  1
    A Counter Abstraction Technique for Verifying Properties of Probabilistic Swarm Systems.Alessio Lomuscio & Edoardo Pirovano - 2022 - Artificial Intelligence 305:103666.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark