Sciweavers

20 search results - page 1 / 4
» aimsa 2008
Sort
View
AIMSA
2008
Springer
13 years 10 months ago
Abstract Argumentation Scheme Frameworks
Katie Atkinson, Trevor J. M. Bench-Capon
AIMSA
2008
Springer
13 years 10 months ago
Interpolative Boolean Logic
Dragan G. Radojevic, Aleksandar Perovic, Zoran Ogn...
AIMSA
2008
Springer
13 years 6 months ago
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding ...
Frédéric Lardeux, Eric Monfroy, Fr&e...
AIMSA
2008
Springer
13 years 10 months ago
Mapping Properties of Heterogeneous Ontologies
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
Chiara Ghidini, Luciano Serafini