7075 search results - page 9 / 1415 » Models and heterogeneous reasoning |
SWAP
2007
14 years 10 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...
82
Voted
JETAI
2007
14 years 9 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 3 months ago
2004
Springer
79
Voted
ICCS
1993
Springer
15 years 1 months ago
1993
Springer
87
Voted
ENTCS
2008
14 years 9 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...