Sciweavers

14 search results - page 1 / 3
» Concurrent Action Execution with Shared Fluents
Sort
View
AAAI
2007
13 years 7 months ago
Concurrent Action Execution with Shared Fluents
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...
Michael Buro, Alexander Kovarsky
IJCAI
2003
13 years 6 months ago
Describing Additive Fluents in Action Language C+
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
Joohyung Lee, Vladimir Lifschitz
IJIS
2010
110views more  IJIS 2010»
13 years 2 months ago
The ramification problem in temporal databases: Concurrent execution
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, Dimitris Plexousakis, Grigoris An...
AAAI
2006
13 years 6 months ago
Reconciling Situation Calculus and Fluent Calculus
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
Stephan Schiffel, Michael Thielscher
ATAL
2000
Springer
13 years 9 months ago
High-Level Robot Control through Logic
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
Murray Shanahan, Mark Witkowski