Sciweavers

2291 search results - page 182 / 459
» Representational Reasoning and Verification
Sort
View
KI
1999
Springer
15 years 11 months ago
Revising Nonmonotonic Theories: The Case of Defeasible Logic
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
David Billington, Grigoris Antoniou, Guido Governa...
KR
1998
Springer
15 years 11 months ago
A Qualitative Theory of Motion Based on Spatio-Temporal Primitives
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
Philippe Muller
FLAIRS
2006
15 years 8 months ago
LARC: Learning to Assign Knowledge Roles to Textual Cases
In this paper, we present a learning framework for the semantic annotation of text documents that can be used as textual cases in case-based reasoning applications. The annotation...
Eni Mustafaraj, Martin Hoof, Bernd Freisleben
DLOG
2009
15 years 4 months ago
Relativizing Concept Descriptions to Comparison Classes
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
Szymon Klarman, Stefan Schlobach
DFG
2007
Springer
16 years 1 months ago
A Framework for the Visualization of Brain Structures
: Nowadays, biologists investigate different causes for deafness. One reason is a damage in a particular region of the auditory brain stem. These differences were discovered by inv...
Sebastian Thelen, Torsten Bierz, Britta Mülle...