Ina Kraan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins: Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE 1994: 826-830

3 Bradley L. Richards, Ina Kraan, Benjamin Kuipers: Automatic Abduction of Qualitative Models. AAAI 1992: 723-728

Selection of 2 from 10 records - Ina Kraan has 9 coauthors

6		Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins: Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE 1994: 826-830
3		Bradley L. Richards, Ina Kraan, Benjamin Kuipers: Automatic Abduction of Qualitative Models. AAAI 1992: 723-728