3765 search results - page 35 / 753 » Qualitative Action Systems |
ITS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
KR
2004
Springer
14 years 2 months ago
2004
Springer
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...
FLAIRS
2006
13 years 10 months ago
2006
In this paper, we describe an approach to modelling contextaware systems starting on the knowledge level. We make use of ideas from Activity Theory to structure the general contex...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
The problem of expressing and solving satisfiability problems (SAT) with qualitative preferences is central in many areas of Computer Science and Artificial Intelligence. In previo...
ICYCS
2008
IEEE
14 years 3 months ago
2008
IEEE
Most of modern systems for information retrieval, fusion and management have to deal more and more with information expressed quatitatively (by linguistic labels) since human repo...