1966 search results - page 151 / 394 » Description Logics and Planning |
156
click to vote
BDA
2004
15 years 7 months ago
2004
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...
145
click to vote
AR
2008
15 years 6 months ago
2008
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...
153
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
164
click to vote
AAAI
2008
15 years 8 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
172
click to vote
ICALP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...