455 search results - page 33 / 91 » Understanding Counterexamples with explain |
CADE
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
107
click to vote
CORR
2010
Springer
14 years 6 months ago
2010
Springer
: In this paper, inspired by the work of Megiddo on the formation of preferences and strategic analysis, we consider an early market model studied in the field of economic theory, ...
VIS
2008
IEEE
16 years 13 days ago
2008
IEEE
The visualization and exploration of multivariate data is still a challenging task. Methods either try to visualize all variables simultaneously at each position using glyph-based ...
115
click to vote
EWSPT
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
116
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...