1966 search results - page 100 / 394 » Description Logics and Planning |
141
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
169
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
115
click to vote
AIPS
2006
15 years 7 months ago
2006
We describe a domain-independent framework for plan summarization and comparison that can help a human understand both the key elements of an individual plan and important differe...
187
click to vote
IJCAI
2003
15 years 7 months ago
2003
We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show h...
134
click to vote
AIPS
1996
15 years 7 months ago
1996
Statistical exploratory data analysis (EDA) poses a di cult search problem. However, the EDA process lends itself to a planning formulation. We have built a system, called Aide, t...