442 search results - page 65 / 89 » Knowledge Representation Using High-Level Non-monotonic Reas... |
115
Voted
TIME
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
120
Voted
ITS
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
110
click to vote
ISBI
2002
IEEE
16 years 3 months ago
2002
IEEE
We present a method to detect vessels in images of the retina. Instead of relying on pixel classification, as many detection algorithms do, we propose a more natural representatio...
136
Voted
TITB
2002
15 years 2 months ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
150
Voted
KR
2010
Springer
15 years 7 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...