Publications
145 results found
Sergot M, 2004, (C+)++: An action language for modelling norms and institutions, Departmental Technical Report: 04/8, Publisher: Department of Computing, Imperial College London, 04/8
The language C+ of Giunchiglia, Lee, Lifschitz, McCain, and Turner(2004) is a formalism for specifying and reasoning about the e ects ofactions and the persistence (`inertia') of facts over time. An `action description'in C+ is a set of C+ laws which de ne a labelled transitionsystem of a certain kind. This document presents (C+)++, an extendedform of C+ designed for representing norms of behaviour and institutionalaspects of (human or computer) societies. There are two main extensions.The rst is a means of expressing `counts as' relations between actions,also referred to as `conventional generation' of actions. The second is away of specifying the permitted (acceptable, legal) states of a transitionsystem and its permitted (acceptable, legal) transitions.
Papatheodorou I, Sergot M, Randall M, et al., 2004, Visualization of microarray results to assist interpretation, TUBERCULOSIS, Vol: 84, Pages: 275-281, ISSN: 1472-9792
- Author Web Link
- Cite
- Citations: 2
Farrell ADH, Sergot MJ, Salle M, et al., 2004, Performance monitoring of service-level agreements for utility computing using the event calculus, Los Alamitos, 1st IEEE international workshop on electronic contracting, San Diego, CA, 2004, Publisher: IEEE Computer Soc, Pages: 17-24
Rissanen E, Firozabadi BS, Sergot M, 2004, Discretionary overriding of access control in the privilege calculus, Proceedings of the 2nd international workshop on formal aspects in security and trust (FAST'04), Toulouse, August 2004
Firozabadi BS, Sergot M, Squicciarini A, et al., 2004, A framework for contractual resource sharing in coalitions, Proceedings of 5th IEEE workshop on policies for distributed systems and networks, IBM Yorktown Heights (Policy'04), June 2004, Publisher: IEEE Computer Society, Pages: 117-126
Firozabadi BS, Sergot M, 2004, Contractual access control, Berlin, 10th international workshop on security protocols, Cambridge, England, 2002, Publisher: Springer-Verlag, Pages: 96-102
Lomuscio A, Sergot M, 2004, A formalisation of violation, error recovery, and enforcement in the bit transmission problem, Journal of Applied Logic, Vol: 2, Pages: 93-116, ISSN: 1570-8683
Farrell ADH, Sergot M, Salle M, et al., 2004, Using the event calculus for performance monitoring of Service Level Agreements in Utility Computing, Proceedings of workshop on contract languages and architectures (CoALa2004), 8th international IEEE enterprise distributed object computing conference, Monterey, September 2004
Huntley D, Hummerich H, Smedley D, et al., 2003, GANESH: Software for customized annotation of genome regions, GENOME RESEARCH, Vol: 13, Pages: 2195-2202, ISSN: 1088-9051
- Author Web Link
- Cite
- Citations: 3
Lomuscio A, Raimondi F, Sergot MJ, 2003, Towards model checking interpreted systems, Proceedings of AAMAS03, Second International Conference on Autonomous Agents and Multi-Agent Systems, Publisher: ACM
Lomuscio A, Sergot M, 2003, Deontic interpreted systems, Studia Logica, Vol: 75, Pages: 63-92, ISSN: 0039-3215
Clifford R, Sergot MJ, 2003, Distributed suffix trees and their application to large-scale genomic analysis, Proceedings of the international conference of computational methods in sciences and engineering (ICCMSE'03), Kastoria, Greece, September 2003
Firozabadi BS, Sergot MJ, 2003, Revocation in the privilege calculus, Proceedings 1st international workshop on formal aspects in security and trust (FAST'03), Pisa, September 2003, Pages: 39-51
Governatori G, Lomuscio A, Sergot MJ, 2003, A tableaux system for deontic interpreted systems, Berlin, 16th Australian conference on artificial intelligence, University of Western Australia, Perth, Australia, 2003, Publisher: Springer-Verlag, Pages: 339-351
Clifford R, Sergot M, 2003, Distributed and paged suffix trees for large genetic databases, Berlin, 14th annual symposium on combinatorial pattern matching (CPM 2003), University of Michoacana, Center for Cultural University, Morelia, Mexico, Publisher: Springer-Verlag, Pages: 70-82
Artikis A, Sergot M, Pitt J, 2003, An executable specification of an argumentation protocol, Proceedings of artificial intelligence and law (ICAIL), Edinburgh, 2003, Publisher: ACM, Pages: 1-11
Lomuscio A, Raimondi F, Sergot MJ, 2003, Towards model checking interpreted systems, 2nd International joint conference on autonomous agents and multiagent systems, Melbourne, Australia, 2003, Publisher: ACM, Pages: 1054-1055
D'Inverno M, Luck M, 2002, Practical and theoretical innovations in multi-agent systems research, KNOWLEDGE ENGINEERING REVIEW, Vol: 17, Pages: 295-301, ISSN: 0269-8889
- Author Web Link
- Cite
- Citations: 2
Artikis A, Sergot M, Pitt J, 2002, Specifying electronic societies with the causal calculator, Berlin, 3rd international workshop on agent-oriented software engineering (AOSE 2002), Bologna, Italy, 2002, Publisher: Springer-Verlag, Pages: 1-15
Daskalopulu A, Sergot M, 2002, Computational aspects of the FLBC framework, DECISION SUPPORT SYSTEMS, Vol: 33, Pages: 267-290, ISSN: 0167-9236
- Author Web Link
- Open Access Link
- Cite
- Citations: 2
Witherden AS, Hafezparast M, Nicholson SJ, et al., 2002, An integrated genetic, radiation hybrid, physical and transcription map of a region of distal mouse chromosome 12, including an imprinted locus and the 'Legs at odd angles' (<i>Loa</i>) mutation, GENE, Vol: 283, Pages: 71-82, ISSN: 0378-1119
- Author Web Link
- Cite
- Citations: 6
Lomuscio A, Sergot M, 2002, The bit transmission problem revisited, Departmental Technical Report: 02/4, Publisher: Department of Computing, Imperial College London, 02/4
The design of complex multi-agent systems is increasingly 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. The first, an example in which an agent may fail to do something it is supposed to do, shows how we deal with violations of protocols and specifications generally. The second, an example in which an agent may do something it is not supposed to do, shows how it is possible to specify and analyse remedial or error-recovery procedures. The third combines both kinds of faults and introduces a new component into the system, a controller whose role is to enforce compliance with the protocol. In each case the formal analysis is used to test whether critical properties of the system are compromised, in this example, the reliable communication of information from one agent to the other.
Sergot M, 2002, Bob Kowalski: A portrait, COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, Vol: 2407, Pages: 5-25, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 1
Firozabadi BS, Sergot M, 2002, Revocation schemes for delegated authorities, 3rd International Workshop on Policies for Distributed Systems and Networks, Publisher: IEEE COMPUTER SOC, Pages: 210-213
- Author Web Link
- Cite
- Citations: 6
Artikis A, Pitt J, Sergot M, 2002, Animated specifications of computational societies, Autonomous agents and multiagent systems, Publisher: ACM, Pages: 1053-1061
Lomuscio A, Sergot M, 2002, On multi-agent systems specification via Deontic Logic, Berlin, 8th international workshop on agent theories, architectures, and language (ATAL 2001), Seattle, Washington, 2001, Publisher: Springer-Verlag, Pages: 86-99
Firozabadi BS, Sergot M, Bandmann O, 2002, Using authority certificates to create management structures, Berlin, 9th international workshop on security protocols, Cambridge, England, 2001, Publisher: Springer-Verlag, Pages: 134-145
Lomuscio A, Sergot MJ, 2002, The bit transmission problem revisited, Proceedings of AAMAS02, First International Conference on Autonomous Agents and Multi-Agent Systems, Publisher: ACM
Artikis A, Pitt J, Sergot M, 2002, Animated specifications of computational societies, Proceedings of autonomous agents and multi-agent systems (AAMAS), Publisher: ACM, Pages: 1053-1061
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.