2008 3rd International Conference on Intelligent System and Knowledge Engineering 2008
DOI: 10.1109/iske.2008.4731126
|View full text |Cite
|
Sign up to set email alerts
|

Reasoning about belief, goal and exceptions in multi-agent cooperation logics

Abstract: When specifying mental states such as belief and goal of agents, temporal logics are often adopted as basic tools. Although there are work on nonmonotonic extension of linear temporal logic LTL and branching time temporal logic CTL, the nonmonotonic extension of alternating-time temporal logic ATL which is an important kind of multi-agent cooperation logics has not been discussed yet in literature. To solve this problem, this paper proposed non-monotonic alternating-time temporal logic with belief and goal, na… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2009
2009
2009
2009

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 17 publications
0
0
0
Order By: Relevance