Sciweavers

20 search results - page 1 / 4
» aimsa 2008
Sort
View
AIMSA
2008
Springer
14 years 4 months ago
Abstract Argumentation Scheme Frameworks
Katie Atkinson, Trevor J. M. Bench-Capon
AIMSA
2008
Springer
14 years 4 months ago
Interpolative Boolean Logic
Dragan G. Radojevic, Aleksandar Perovic, Zoran Ogn...
AIMSA
2008
Springer
14 years 11 days 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
14 years 4 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