321 search results - page 1 / 65 » Heterogeneous Reasoning |
DLOG
2008
13 years 7 months ago
2008
DIAGRAMS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
CAD
2002
Springer
13 years 5 months ago
2002
Springer
A reasoning Boolean operation based CAD modeling approach applied to construct heterogeneous material objects is presented. This reasoning Boolean operation consists of a merging ...
SWAP
2007
13 years 6 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 5 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...