886 search results - page 36 / 178 » Reasoning with contextual graphs |
108
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
115
click to vote
HCI
2007
15 years 3 months ago
2007
Information visualization is traditionally viewed as a tool for data exploration and hypothesis formation. Because of its roots in scientific reasoning, visualization has tradition...
111
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
122
click to vote
FLAIRS
2007
15 years 4 months ago
2007
Reasoning with hypothetical cases helps decision-makers evaluate alternate hypotheses for deciding a case. The hypotheticals demonstrate the sensitivity of a hypothesis to apparen...
115
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...