421 search results - page 43 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
RWEB
2009
Springer
15 years 5 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
100
click to vote
CSL
2008
Springer
14 years 11 months ago
2008
Springer
We present a new methodology of user simulation applied to the evaluation and refinement of stochastic dialog systems. Common weaknesses of these systems are the scarceness of the...
FLOPS
2008
Springer
15 years 19 days ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...
DLOG
2010
14 years 9 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...