Sciweavers

887 search results - page 26 / 178
» A Science of Reasoning
Sort
View
VL
2010
IEEE
195views Visual Languages» more  VL 2010»
13 years 7 months ago
Causal Reasoning with Neuron Diagrams
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
Martin Erwig, Eric Walkingshaw
ICMI
2003
Springer
96views Biometrics» more  ICMI 2003»
14 years 2 months ago
Learning and reasoning about interruption
We present methods for inferring the cost of interrupting users based on multiple streams of events including information generated by interactions with computing devices, visual ...
Eric Horvitz, Johnson Apacible
AAAI
2008
13 years 11 months ago
Reasoning with Cardinal Directions: An Efficient Algorithm
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus...
Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingshen...
ENTCS
2007
126views more  ENTCS 2007»
13 years 8 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
AI
1998
Springer
13 years 8 months ago
Reasoning About Actions: Steady Versus Stabilizing State Constraints
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...
Michael Thielscher