1073 search results - page 54 / 215 » Reasoning about Continuous Processes |
POPL
2012
ACM
12 years 5 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
AAAI
1998
13 years 11 months ago
1998
Effective information gathering on the WWW is a complex task requiring planning, scheduling, text processing, and interpretation-style reasoning about extracted data to resolve in...
AAAI
2000
13 years 11 months ago
2000
A central problem in qualitative reasoning is understanding how people reason about space and shape with diagrams. We claim that progress in diagrammatic reasoning is being slowed...
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
CIA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...