2490 search results - page 68 / 498 » Complexity of Contextual Reasoning |
114
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. Conjunctive query answering is an important DL reasoning task. Although this task is by now quite well-understood, tight complexity bounds for conjunctive query answering...
130
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...
149
click to vote
KR
2000
Springer
15 years 7 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
270
click to vote
CSL
2011
Springer
14 years 11 months ago
2011
Springer
The automatic recognition of user’s communicative style within a spoken dialog system framework, including the affective aspects, has received increased attention in the past f...
138
click to vote
KI
2005
Springer
15 years 9 months ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...