4595 search results - page 333 / 919 » Reasoning about Plans |
179
Voted
HICSS
2002
IEEE
16 years 14 days ago
2002
IEEE
: In this contribution we present a Learner Model (LM) of Historical Text Comprehension (HTC), which infers the cognitive profile of learner’s global comprehension concerning the...
233
click to vote
DEON
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
215
Voted
KR
2010
Springer
16 years 9 days ago
2010
Springer
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
215
click to vote
CSL
2001
Springer
16 years 1 days ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
219
click to vote
CL
2000
Springer
15 years 12 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...