3706 search results - page 3 / 742 » KtSeqC: System Description |
CBMS
2009
IEEE
14 years 4 months ago
2009
IEEE
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
CADE
2002
Springer
14 years 10 months ago
2002
Springer
ENTCS
2002
13 years 9 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
LREC
2010
13 years 8 months ago
2010
In this paper we discuss some well-known morphological descriptions used in various projects and applications (most notably MULTEXT-East and Unitex) and illustrate the encountered...
APWEB
2011
Springer
13 years 4 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...