1941 search results - page 306 / 389 » Reasoning about Computations Using Two-Levels of Logic |
118
click to vote
UAI
2004
15 years 4 months ago
2004
We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamica...
133
Voted
WOA
2003
15 years 4 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
117
Voted
ENTCS
2007
15 years 3 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
117
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
152
Voted
CCIA
2010
Springer
14 years 10 months ago
2010
Springer
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...