528 search results - page 55 / 106 » Epistemic Logic and Planning |
EUSFLAT
2007
13 years 10 months ago
2007
Agriculture in Russia has some specifics such as large distribution, inclement climate and big market competition. Appearing of resources-economy, precision and management technol...
IGPL
2008
13 years 9 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
FSKD
2008
Springer
13 years 10 months ago
2008
Springer
This research uses the Analytic Hierarchy Process (AHP) and analysis level procedural law to assess adolescent golf player’s skills and inform the coaches of the training they s...
CPAIOR
2006
Springer
14 years 21 days ago
2006
Springer
Temporal planning (TP) is notoriously difficult because it requires to solve a propositional STRIPS planning problem with temporal constraints. In this paper, we propose an efficie...
AI
2006
Springer
13 years 11 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...