3970 search results - page 238 / 794 » A Logic For Causal Reasoning |
112
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
We describe here a formal proof in the Coq system of the structure theorem for subresultants, which allows to prove formally the correctness of our implementation of the subresulta...
110
Voted
CADE
2004
Springer
16 years 4 months ago
2004
Springer
We describe a formalization of asymptotic O notation using the Isabelle/HOL proof assistant.
126
click to vote
DLOG
1996
15 years 5 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
343
Voted
Book
"Spatial structures and spatial reasoning are essential to perception and cognition. Much
day-to-day practical information is about what happens at certain spatial locations....