7075 search results - page 9 / 1415 » Models and heterogeneous reasoning |
116
click to vote
SWAP
2007
15 years 2 months ago
2007
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
109
click to vote
JETAI
2007
15 years 1 months ago
2007
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
120
click to vote
ENTCS
2008
15 years 1 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...