Ina Kraan

Automatic abduction of qualitative models

Bradley L. Richards, Ina Kraan, Benjamin Kuipers · 1992 · 54 citations

Computing, Computer Science, Knowledge Representation +13

Middle-out reasoning for synthesis and induction

Ina Kraan, David Basin, Alan Bundy · Journal of Automated Reasoning · 1996 · 37 citations

Computing, Computer Science, Algorithms +9

Proceedings of the Tenth International Conference on Logic Programming

Ina Kraan, David Basin, Alan Bundy · International Conference on Logic Programming · 1993 · 34 citations

Computing, Computer Engineering, Computer Science +12

Middle-out reasoning for logic program synthesis

Ina Kraan, David Basin, Alan Bundy · Edinburgh Research Explorer · 1993 · 27 citations · Full text

Computing, Computer Science, Algorithms +16