5378 search results - page 138 / 1076 » Base Logics in Argumentation |
185
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
166
click to vote
CBMS
2009
IEEE
16 years 1 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...
164
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
191
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
130
click to vote
COLING
1992
15 years 7 months ago
1992
This paper discusses aspects of the planning of explanatory texts for logic based systems. It presentsa methodfor derivingNaturalLanguagetext plansfrom Natural Deduction-basedstru...