466 search results - page 1 / 94 » Critical Reasoning |
ASM
2010
ASM
15 years 6 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
IJCAI
1993
14 years 11 months ago
1993
FECS
2006
14 years 11 months ago
2006
This paper discusses infusing the critical thinking skill of finding reasons and conclusions in a basic
LICS
1991
IEEE
15 years 1 months ago
1991
IEEE
Abstract. We extend the termination proof methods based on reduction orderings to higher-order rewriting systems `a la Nipkow using higher-order pattern matching for firing rules,...
70
Voted
CADE
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st...