Sciweavers

319 search results - page 42 / 64
» Parallel Belief Revision
Sort
View
99
Voted
ECAI
2008
Springer
15 years 3 months ago
A Formal Approach for RDF/S Ontology Evolution
Abstract. In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side...
George Konstantinidis, Giorgos Flouris, Grigoris A...
126
Voted
EWCBR
2008
Springer
15 years 3 months ago
Conservative Adaptation in Metric Spaces
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
Julien Cojan, Jean Lieber
121
Voted
APPINF
2003
15 years 3 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
AI
2008
Springer
15 years 2 months ago
The measurement of ranks and the laws of iterated contraction
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking f...
Matthias Hild, Wolfgang Spohn
AMAI
2007
Springer
15 years 2 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