335 search results - page 58 / 67 » KRRT: Knowledge Representation and Reasoning Tutor System |
120
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
In this paper, we describe Common Sense Investing (CSI), an interactive investment tool that uses a knowledge base of common sense statements in conjunction with domain knowledge ...
127
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
136
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
104
click to vote
ISTA
2004
15 years 3 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
112
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...