335 search results - page 44 / 67 » KRRT: Knowledge Representation and Reasoning Tutor System |
130
click to vote
ICCBR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
127
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
119
click to vote
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
Current Driver Assistance Systems merely use a minimum set of information. By using additional information of the environment hazardous situations can be detected earlier, more re...
122
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
115
click to vote
FOIS
2006
15 years 3 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...