7075 search results - page 9 / 1415 » Models and heterogeneous reasoning |
SWAP
2007
13 years 8 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...
JETAI
2007
13 years 7 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
14 years 25 days ago
2004
Springer
ICCS
1993
Springer
13 years 11 months ago
1993
Springer
ENTCS
2008
13 years 7 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...