Sciweavers

4035 search results - page 172 / 807
» Useless Actions Are Useful
Sort
View
LPNMR
1999
Springer
15 years 10 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner
AAAI
2006
15 years 8 months ago
Techniques for Generating Optimal, Robust Plans when Temporal Uncertainty is Present
Planning under uncertainty has been well studied, but usually the uncertainty is in action outcomes. This work instead investigates uncertainty in the amount of time that actions ...
Janae N. Foss
IJCAI
2003
15 years 7 months ago
The Concurrent, Continuous FLUX
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
Yves Martins
ECAI
2010
Springer
15 years 7 months ago
A contextual reading of conditional commitments
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...
Juan Manuel Serrano, Sergio Saugar, Rosario Lauren...
JLP
2002
90views more  JLP 2002»
15 years 6 months ago
Combining programs and state machines
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
Jan A. Bergstra, Alban Ponse