421 search results - page 29 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
105
click to vote
LICS
2008
IEEE
15 years 5 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
129
click to vote
NMR
2004
Springer
15 years 4 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
104
click to vote
RULEML
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
IJBRA
2007
14 years 11 months ago
2007
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
DLOG
2007
15 years 1 months ago
2007
The database usability experience has shown that visual query languages tend to be superior to textual languages in many aspects. By applying this principle in the context of ontol...