Sciweavers

447 search results - page 7 / 90
» A Probabilistic Calculus of Actions
Sort
View
LOGCOM
1998
178views more  LOGCOM 1998»
13 years 7 months ago
Applying the Mu-Calculus in Planning and Reasoning about Action
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
Munindar P. Singh
AAAI
2008
13 years 9 months ago
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
Stavros Vassos, Hector J. Levesque
KR
2010
Springer
14 years 8 days ago
State Defaults and Ramifications in the Unifying Action Calculus
Ringo Baumann, Gerhard Brewka, Hannes Strass, Mich...
IJCAI
2003
13 years 8 months ago
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
Alfredo Gabaldon
ECSQARU
1993
Springer
13 years 11 months ago
On the Relations between Incidence Calculus and ATMS
Abstract. This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the inciden...
Weiru Liu, Alan Bundy, David Stuart Robertson