262
click to vote
JAIR
13 years 10 months ago
2012 
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
184
Voted
JAIR
13 years 10 months ago
2012 248
click to vote
JAIR
13 years 10 months ago
2012 
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
199
click to vote
JAIR
13 years 10 months ago
2012 
In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantic...
|
Hardware