Ina Kraan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1991–1994
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CADE | Mollusc: A General Proof-Development Shell for Sequent-Based Logics. | Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins |
| 1993 | ICLP | Middle-Out Reasoning for Logic Program Synthesis. | Ina Kraan, David A. Basin, Alan Bundy |
| 1992 | AAAI | Automatic Abduction of Qualitative Models. | Bradley L. Richards, Ina Kraan, Benjamin Kuipers |
| 1992 | LOPSTR | Logic Program Synthesis via Proof Planning. | Ina Kraan, David A. Basin, Alan Bundy |
| 1991 | LOPSTR | Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. | Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh |