1917 search results - page 128 / 384 » Experimenting with Nonmonotonic Reasoning |
86
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
92
Voted
DIAGRAMS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
108
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
123
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
113
Voted
PATAT
2004
Springer
15 years 6 months ago
2004
Springer
Metaheuristic approaches to examination timetabling problems are usually split up into two phases: initialisation phase in which a heuristic is employed to construct an initial sol...