Guest editors’ introduction: special issue for ISIP 2005.
- Published in:
- 2008
- By:
- Publication type:
- Editorial
Works matching IS 09259902 AND DT 2008 AND VI 31 AND IP 2
Results: 6
1
2
A framework for checking proofs naturally.
- Published in:
- Journal of Intelligent Information Systems, 2008, v. 31, n. 2, p. 111, doi. 10.1007/s10844-008-0059-2
- By:
- Publication type:
- Article
3
Building and using temporal knowledge in archaeological documentation.
- Published in:
- Journal of Intelligent Information Systems, 2008, v. 31, n. 2, p. 147, doi. 10.1007/s10844-008-0061-8
- By:
- Publication type:
- Article
4
A glimpse of symbolic-statistical modeling by PRISM.
- Published in:
- Journal of Intelligent Information Systems, 2008, v. 31, n. 2, p. 161, doi. 10.1007/s10844-008-0062-7
- By:
- Publication type:
- Article
5
A note on phase transitions and computational pitfalls of learning from sequences.
- Published in:
- Journal of Intelligent Information Systems, 2008, v. 31, n. 2, p. 177, doi. 10.1007/s10844-008-0063-6
- By:
- Publication type:
- Article
6
Approximate schemas, source-consistency and query answering.
- Published in:
- Journal of Intelligent Information Systems, 2008, v. 31, n. 2, p. 127, doi. 10.1007/s10844-008-0060-9
- By:
- Publication type:
- Article