3970 search results - page 191 / 794 » A Logic For Causal Reasoning |
139
click to vote
VL
1999
IEEE
15 years 8 months ago
1999
IEEE
Isaac is a rule-based language for mobile robots currently under development at NMSU. A successor to Altaira, it replaces Altaira's state-based rules and tile-based navigatio...
131
click to vote
RWEB
2009
Springer
15 years 10 months ago
2009
Springer
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
127
click to vote
MPC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
141
click to vote
DLOG
2006
15 years 5 months ago
2006
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
132
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...