8232 search results - page 113 / 1647 » Dynamic Logic Programming |
141
Voted
AIML
2004
15 years 6 months ago
2004
This paper shows that satisfiability for Propositional Dynamic Logic with Intersection is EXPSPACE-hard. The proof uses a reduction from the word problem for alternating, exponent...
115
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
135
Voted
HIPEAC
2005
Springer
15 years 10 months ago
2005
Springer
Detecting and predicting a program’s execution phases are crucial to dynamic optimizations and dynamically adaptable systems. This paper shows that a phase can be associated with...
145
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We explore the use of computational optimal control techniques for automated construction of policies in complex dynamic environments. Our implementation of dynamic programming...
127
click to vote
CSCW
2000
ACM
15 years 9 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...