Sergot, Marek - Department of Computing, Imperial College, London

Advanced Search

Sergot, Marek - Department of Computing, Imperial College, London

Formalization of a Voting Protocol for Virtual Organizations Jeremy Pitt, Lloyd Kamara
Distant Causation in C+ Robert Craven and Marek Sergot
A formalisation of violation, error recovery, and enforcement in the bit transmission problem
DISCRETIONARY OVERRIDING OF ACCESS CONTROL IN THE PRIVILEGE CALCULUS
www.elsevierhealth.com/journals/tube Tuberculosis
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks
Deontic Interpreted Systems 1 ALESSIO LOMUSCIO
A tableux system for Deontic Interpreted Systems Guido Governatori1 Alessio Lomuscio2 Marek J. Sergot3
Specifying Electronic Societies with the Causal Calculator
An Executable Specification of an Argumentation Protocol Alexander Artikis1
Computational aspects of the FLBC framework Aspassia Daskalopulu a,*, Marek Sergot b
Contrary-to-duty obligations Henry Prakken
Performance Monitoring of Service-Level Agreements for Utility Computing Using the Event Calculus
Contractual Access Control Babak Sadighi Firozabadi1
Some Logical Properties of Nonmonotonic Causal Theories
Animated Specifications of Computational Societies Alexander Artikis1
HENRY PRAKKEN AND MAREK SERGOT DYADIC DEONTIC LOGIC AND CONTRARY-TO-DUTY
Modelling unreliable and untrustworthy agent Marek Sergot
USING THE EVENT CALCULUS FOR TRACKING THE NORMATIVE STATE OF CONTRACTS
Using Authority Certificates to Create Management Structures
COMPUTER SUPPORT FOR PROTOCOL-BASED TREATMENT OF CANCER1
A Computational Theory of Normative Positions MAREK SERGOT
Fundamenta Informaticae 45 (2001) 121 1 On the Representation of Action and Agency
Revocation in the privilege calculus Babak Sadighi Firozabadi1
GANESH: Software for Customized Annotation of Genome Regions