801 search results - page 94 / 161 » Reasoning with Reasons in Case-Based Comparisons |
139
click to vote
AIM
2010
14 years 11 months ago
2010
The European Conference on Case-Based Reasoning (CBR) in 2008 marked 15 years of international and European CBR conferences where almost seven hundred research papers were publish...
112
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
110
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
102
click to vote
CONTEXT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
137
click to vote
TPHOL
2002
IEEE
15 years 6 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...