5198 search results - page 685 / 1040 » A Logic of Agent Programs |
161
click to vote
AAAI
2008
15 years 9 months ago
2008
At the turn of the last century, Constantin Stanislavski developed a new system of acting, replacing the mannered gestures and forced emotion then popular with a more natural styl...
180
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
166
click to vote
WSC
2008
15 years 9 months ago
2008
The Department of Homeland Security (DHS) shifted the focus of airport security in 2004 to incorporate the need to continuously and rapidly adapt security to shifting threats. MIT...
212
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
227
Voted
AAAI
2010
15 years 8 months ago
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...