2214 search results - page 113 / 443 » Complexity of Reasoning |
118
click to vote
FLAIRS
2001
15 years 4 months ago
2001
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
114
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
- In general, fault dictionary is prevented from practical applications for its extremely large size. Several previous works are proposed for the fault dictionary size reduction. H...
147
click to vote
CADE
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
167
click to vote
DKE
2008
15 years 3 months ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
141
click to vote
JAIR
2008
15 years 3 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...