Agent Theory for Team Formation by Dialogue
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
A framework for specifying group decision-making mechanisms
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Specifying deadlines with continuous time using deontic and temporal logic
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
A Formal Analysis of Auditing Principles for Electronic Trade Procedures
International Journal of Electronic Commerce
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Methods, Models and Tools for Fault Tolerance
Norms with deadlines in Dynamic Deontic Logic
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
International Journal of Metadata, Semantics and Ontologies
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Formal enforcement and management of obligation policies
Data & Knowledge Engineering
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Normative pragmatics for agent communication languages
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Designing normative behaviour via landmarks
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Encapsulating deontic and branching time specifications
Theoretical Computer Science
Temporal deontic logic for the generalised chisholm set of contrary to duty obligations
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Temporal deontic action logic for the verification of compliance to norms in ASP
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
Intelligent agents have an agenda that is monitoredcontinuously to decide what action is to be performed.Formally, an agenda is a set of deontic temporal constraints. Deontic, since the agenda specifies what the agent should do. Temporal, since the obligation is usually to be performed before a certain deadline, or assoon as possible. In this paper, we investigate the concepts necessary to describe deadlines. We describe a temporal deontic logic that facilitates reasoning aboutobligations and deadlines. The logic is a combination oftemporal logic and deontic dynamic logic. We describeextensively which choices have to be made in combiningtemporal and dynamic aspects into one system. In thenew logic, we can uniformally specify that an obligationstarts at a certain time or event, that it must be doneimmediately, as soon as possible, before a deadline, orperiodically.