2490 search results - page 144 / 498 » Complexity of Contextual Reasoning |
137
click to vote
AAAI
2007
15 years 7 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
147
click to vote
SEBD
2007
15 years 6 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
190
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
129
click to vote
DLOG
2007
15 years 7 months ago
2007
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
111
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes an adaptive system called VL-PATSy, an extension to an existing system (PATSy) that adds a mechanism for serving vicarious learning (VL) resources. Vicarious l...