2490 search results - page 243 / 498 » Complexity of Contextual Reasoning |
150
click to vote
PPSWR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
154
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
The problem of repair and maintenance of complex systems, such as aircraft, cars and trucks is certainly a nontrivial task. Maintenance technicians must use a great amount of knowl...
159
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
164
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
175
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...