2649 search results - page 130 / 530 » Temporal Theories of Reasoning |
163
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We present an approach to the veriļ¬cation of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
405
click to vote
Tutorial
"These video lectures provide a thorough and unified treatment of adaptive filters and their performance. The lectures cover the fundamentals of linear estimation theory, adap...
213
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
146
click to vote
APPINF
2003
15 years 8 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanā...
189
click to vote
PPSWR
2005
Springer
16 years 16 hour ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...