1917 search results - page 128 / 384 » Experimenting with Nonmonotonic Reasoning |
175
click to vote
TIME
2005
IEEE
16 years 14 days 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...
153
click to vote
DIAGRAMS
2004
Springer
16 years 8 days 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...
171
click to vote
KR
2004
Springer
16 years 7 days 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...
192
click to vote
KR
2004
Springer
16 years 7 days 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...
194
click to vote
PATAT
2004
Springer
16 years 7 days 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...