2414 search results - page 120 / 483 » Reasoning Support for OWL-E |
191
click to vote
AAAI
1996
15 years 7 months ago
1996
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...
171
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
172
click to vote
ENTCS
2007
15 years 5 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
146
click to vote
AAMAS
2005
Springer
15 years 5 months ago
2005
Springer
Intentional agent systems are increasingly being used in a wide range of complex applications. Capabilities has recently been introduced into some of these systems as a software en...
164
click to vote
FLAIRS
2007
15 years 8 months ago
2007
We are working on a project aimed at building next generation analyst support tools that focus analysts’ attention on the most critical and novel information found within the da...