Journal: J. Intell. Inf. Syst.

Volume 31, Issue 2

109 -- 110Mohand-Said Hacid, Nicolas Spyratos, Yuzuru Tanaka. Guest editors introduction: special issue for ISIP 2005
111 -- 125Masahiko Sato. A framework for checking proofs naturally
127 -- 146Michel de Rougemont, Adrien Vieilleribière. Approximate schemas, source-consistency and query answering
147 -- 159Tiphaine Accary-Barbier, Sylvie Calabretto. Building and using temporal knowledge in archaeological documentation
161 -- 176Taisuke Sato. A glimpse of symbolic-statistical modeling by PRISM
177 -- 189Antoine Cornuéjols, Michèle Sebag. A note on phase transitions and computational pitfalls of learning from sequences