Alessio Lomuscio, Marek Sergot  Home/Search
Context Related
| cs.ucl.ac.uk/staff/A.Lomus...aamas02.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ucl.ac.uk/staff/A.Lom...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: having to confront the possibility that agents may not behave as they are supposed to. In addition to analysing the properties that hold if protocols are followed correctly, it is also necessary to predict, test, and verify the properties that would hold if these protocols were to be violated. We illustrate how the formal machinery of deontic interpreted systems can be applied to the analysis of such problems by considering three variations of the bit transmission problem. Categories and... (Update)
Cited by: More
Towards Model Checking Interpreted Systems - Lomuscio, Raimondi, Sergot (2002) (Correct)
Verification In Multi-Agent Systems - Raimondi (Correct)
Active bibliography (related documents): More All
0.1: Bounded Model Checking for Deontic Interpreted Systems - Wozna, Lomuscio, Penczek (Correct)
0.1: A tableux system for Deontic Interpreted Systems - Governatori, Lomuscio, Sergot (Correct)
0.1: Automatic Verification of Deontic Properties of Multi-Agent.. - Raimondi, Lomuscio (Correct)
Similar documents based on text: More All
0.4: A Formalisation of Violation, Error Recovery, and.. - Lomuscio, Sergot (Correct)
0.4: Investigations in Grounded Semantics for Multi-Agent Systems .. - Lomuscio, Sergot (2000) (Correct)
0.3: Extending Interpreted Systems with Some Deontic Concepts - Lomuscio, Sergot (Correct)
Related documents from co-citation: More All
2: Model checking knowledge and time in systems with perfect recall - van der Meyden, Shilov
2: A New Introduction To Modal Logic (context) - Hughes, Cresswell - 1996
2: Computationally grounded theories of agency - Wooldridge - 2000
BibTeX entry: (Update)
A. Lomuscio and M. Sergot. The bit transmission problem revisited. Technical Report 4/2002. http://citeseer.ist.psu.edu/lomuscio02bit.html More
@misc{ lomuscio02bit,
author = "A. Lomuscio and M. Sergot",
title = "The bit transmission problem revisited",
text = "A. Lomuscio and M. Sergot. The bit transmission problem revisited. Technical
Report 4/2002.",
year = "2002",
url = "citeseer.ist.psu.edu/lomuscio02bit.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
94 Reasoning about rational agents (context) - Wooldridge - 2000
7 and enforcement in the bit transmission problem (context) - Lomuscio, Sergot et al. - 2002
3 Extending interpreting systems with some deontic concepts (context) - Lomuscio, Sergot - 2001
Documents on the same site (http://www.cs.ucl.ac.uk/staff/A.Lomuscio/papers.html): More
Multi-Agent VSK Logic - Wooldridge, Lomuscio (2000) (Correct)
Dialogue Games for Inconsistent and Biased Information - Lebbink, Witteman, Meyer (2004) (Correct)
A Spectrum of Modes of Knowledge Sharing between Agents - Lomuscio, Ryan (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC