2308 search results - page 227 / 462 » Representing Symbolic Reasoning |
168
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerab...
158
click to vote
TIME
2000
IEEE
15 years 11 months ago
2000
IEEE
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
184
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
149
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
The paper presents a prototype of a system for querying the Web in natural language (French) for a limited domain. The domain knowledge, represented in description logics (DL), is ...
218
click to vote
AIMDM
1999
Springer
15 years 11 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...