1223 search results - page 70 / 245 » A Logic for Reasoning about Evidence |
158
click to vote
ECSQARU
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
181
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
170
click to vote
WISE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
177
click to vote
ESWS
2009
Springer
16 years 27 days ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
184
click to vote
ATAL
2009
Springer
16 years 28 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...