4209 search results - page 457 / 842 » Abstract Dialectical Frameworks |
131
Voted
MFCS
2009
Springer
16 years 21 days ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
152
click to vote
PKDD
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Innovations such as optimistic exploration, function approximation, and hierarchical decomposition have helped scale reinforcement learning to more complex environments, ...
160
click to vote
PKDD
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The Factored Markov Decision Process (FMDP) framework is a standard representation for sequential decision problems under uncertainty where the state is represented as a ...
164
click to vote
RTA
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
160
Voted
SEKE
2009
Springer
16 years 21 days ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...