2253 search results - page 91 / 451 » The ComFoRT Reasoning Framework |
KR
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
This paper presents a new information visualization framework that supports the analytical reasoning process. It consists of three views - a data view, a knowledge view and a navi...
SAS
2007
Springer
14 years 4 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
TARK
2007
Springer
14 years 4 months ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
ICAIL
2005
ACM
14 years 3 months ago
2005
ACM
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...