159 search results - page 10 / 32 » Dynamic Description Logic: Embracing Actions into Descriptio... |
163
click to vote
IJCAI
2001
15 years 7 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
134
click to vote
HICSS
2007
IEEE
16 years 10 days ago
2007
IEEE
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...
158
click to vote
DLOG
2008
15 years 7 months ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
210
click to vote
ICLA
2011
Springer
14 years 9 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
127
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...