2308 search results - page 64 / 462 » Representing Symbolic Reasoning |
169
click to vote
AAAI
2012
13 years 8 months ago
2012
We consider symbolic dynamic programming (SDP) for solving Markov Decision Processes (MDP) with factored state and action spaces, where both states and actions are described by se...
153
click to vote
ERSHOV
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
155
click to vote
AAAI
1998
15 years 6 months ago
1998
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
161
click to vote
CN
2007
15 years 5 months ago
2007
Multicast communication is arguably the most promising paradigm to enable mass Internet transmission of live events, or any other content sent on the network from a single source ...
166
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
Traditional approaches to temporal reasoning assume that time periods and time spans of events can be accurately represented as intervals. Real