Rémi Coletta (LIRMM, Montpellier)
C. Bessiere, R. Coletta, F. Koriche, B. O'Sullivan.
"A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems"
Proceedings ECML'05, Porto, Portugal, pages 23--34. (pdf)
Mathias Paulin (LIRMM, Montpellier)
Mathias Paulin, Apprentissage interactif de réseau de contraintes, Proceedings of RJCIA'05, pages 225-238, Nice, France, Juin 2005. (ps in french)
Pavel Shvaiko and Mikalai Yatskevich (Trento)
Fausto Giunchiglia, Mikalai Yatskevich and Enrico Giunchiglia
In Proceedings of "Second European Semantic Web Conference, ESWC", edited by Asucion Gomez-perez and Jerome Euzenat Heraklion, Crete, Greece 29 May - 1 June 2005 , vol. 3532/2005, pp. 272-
Notes: ISBN: 3-540-26124-9 (pdf)
P. Shvaiko, J. Euzenat: A Survey of Schema-based Matching Approaches.
Journal on Data Semantics (JoDS), IV, LNCS 3730, pp. 146-171, 2005
(ps).
P. Shvaiko, F. Giunchiglia, P. Pinheiro da Silva, D. L. McGuinness:
Web Explanations for Semantic Heterogeneity Discovery
In Proceedings of ESWC'05. LNCS vol. 3532, pp. 303-317 (pdf).
Colin Pigden and Andy King (University of Kent, UK) Compiling Crosswords by SAT Solving, Master Project (Applet, slides pdf)
Don Batory, AHEAD Tool Suite (University of Texas at Austin, USA)
Feature Models, Grammars, and Propositional Formulas, SPLC 2005, LNCS 3714, pp. 7-20, 2005 (pdf)
COBA2COBA 2.0 is a consistency-based belief change system based on the belief change algorithms developed by James Delgrande and Torsten Schaub.
