Sciweavers

91 search results - page 10 / 19
» Concurrent Actions in the Situation Calculus
Sort
View
DKE
2006
93views more  DKE 2006»
13 years 7 months ago
The ramification problem in temporal databases: Changing beliefs about the past
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
Nikos Papadakis, Grigoris Antoniou, Dimitris Plexo...
AAAI
2011
12 years 7 months ago
Reasoning About General Games Described in GDL-II
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...
Stephan Schiffel, Michael Thielscher
KRDB
2003
139views Database» more  KRDB 2003»
13 years 9 months ago
Expressing Transactions with Savepoints as Non-Markovian Theories of Actions
Flat transactions with savepoints are a variation of the classical flat transactions that allows the user to go undo work done so far back to a certain point within the transacti...
Iluju Kiringa, Alfredo Gabaldon
IJVR
2008
137views more  IJVR 2008»
13 years 7 months ago
Reasoning about Action for Behavioral Animation of Intelligent Virtual Agents
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
Yisong Liu, Shan Zhong, Yongzhao Zhan
AAAI
1996
13 years 8 months ago
Formalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
Chitta Baral, Alfredo Gabaldon, Alessandro Provett...