78 search results - page 7 / 16 » Reasoning about Concurrent Actions and Observations |
AAAI
2000
13 years 11 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
PRICAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper we address the problem of commonsense reasoning about action by appealing to Occam’s razor—we should accept the simplest hypothesis explaining the obser...
ICSE
2007
IEEE-ACM
2007
IEEE-ACM
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
14 years 10 months ago
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...
AI
2010
Springer
13 years 10 months ago
2010
Springer
How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes a camera-based observation system for football games that is used for the automatic analysis of football games and reasoning about multi-agent activity. The o...