3679 search results - page 47 / 736 » Answer set based design of knowledge systems |
FLAIRS
2007
15 years 4 months ago
2007
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
RIAO
2000
15 years 3 months ago
2000
We have developed a method for answering single answer questions automatically using a collection of documents or the Internet as a source of data for the production of the answer...
125
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
BILDMED
2008
15 years 3 months ago
2008
Abstract. Due to the actual demographic development the use of Computer-Assisted Diagnosis (CAD) systems becomes a more important part of clinical workflows and clinical decision m...
136
click to vote
EGICE
2006
15 years 5 months ago
2006
Abstract. In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches ...