Sciweavers

3706 search results - page 4 / 742
» System Description: H-PILoT
Sort
View
CBMS
2009
IEEE
14 years 3 months ago
ADONIS: Automated diagnosis system based on sound and precise logical descriptions
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
Alejandro Rodríguez González, Jos&ea...
ACL
1998
13 years 10 months ago
Dealing with Distinguishing Descriptions in a Guided Composition System
: The goal of this paper is to provide computable account for some definite descriptions. To this end, we define in terms of inclusion the notion of distinguishing description and ...
Pascal Mouret, Monique Rolbert
CADE
2002
Springer
14 years 8 months ago
System Description: GrAnDe 1.0
Stephan Schulz, Geoff Sutcliffe