Sciweavers

10568 search results - page 604 / 2114
» Computer Intelligence and Formalization
Sort
View
AI
2007
Springer
15 years 7 months ago
On principle-based evaluation of extension-based argumentation semantics
The increasing variety of semantics proposed in the context of Dung’s theory of argumentation makes more and more inadequate the example-based approach commonly adopted for eval...
Pietro Baroni, Massimiliano Giacomin
AMAI
2007
Springer
15 years 7 months ago
Distance semantics for database repair
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
AMAI
2007
Springer
15 years 7 months ago
Database querying under changing preferences
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...
Jan Chomicki
CLEIEJ
2008
103views more  CLEIEJ 2008»
15 years 7 months ago
An Ontology-based Framework and its Application to Effective Collaboration
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
Seiji Isotani, Riichiro Mizoguchi
KI
2008
Springer
15 years 6 months ago
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models
This paper explores the applicability of two formal models of spatial relations, Double Cross and RfDL3-12, to interpret some typical expressions that people use for describing a r...
Yohei Kurata, Hui Shi