3970 search results - page 658 / 794 » A Logic For Causal Reasoning |
124
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
113
click to vote
ISCC
2007
IEEE
15 years 10 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
147
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
169
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
127
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...