Paper Info
Title
Self-checking logical agents
Abstract
This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified via an agent-oriented interval temporal logic defined to this purpose, with fully defined syntax, semantics and pragmatics.
Year
DOI
Venue
2013
10.5555/2484920.2485208
LANMR
Keywords
DocType
ISSN
agent-oriented interval temporal logic,comprehensive framework,run-time self-checking,temporal axiom,logical agent
Conference
Proceedings of the Eighth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2012, CEUR Workshop Proceedings 911, pp. 3-30, Invited paper
Citations 
PageRank 
References 
7
0.49
46
Authors
1
Name
Order
Citations
PageRank
Stefania Costantini153659.90