Searching for authors named Ina Kraan – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Logic Program Synthesis via Proof Planning
- …Logic Program Synthesis via Proof Planning Ina Kraan, David Basin and Alan Bundy DAI Research…
- Cited by 25 (6 self) – Add To MetaCart
-
Middle-Out Reasoning for Synthesis and Induction
- …Middle-Out Reasoning for Synthesis and Induction Ina Kraan, David Basin, and Alan Bundy DAI…
- Cited by 19 (9 self) – Add To MetaCart
-
Middle-Out Reasoning for Logic Program Synthesis
- …Middle-Out Reasoning for Logic Program Synthesis Ina Kraan, David Basin and Alan Bundy DAI…
- Cited by 26 (8 self) – Add To MetaCart
-
A Framework for Program Development Based on Schematic Proof
- …A Framework for Program Development Based on Schematic Proof David Basin 1 , Alan Bundy 2 , Ina…
- Cited by 11 (5 self) – Add To MetaCart
-
Mollusc: A General Proof-Development Shell for Sequent-Based Logics
- …Mollusc A General Proof-Development Shell for Sequent-Based Logics Bradley L. Richards , Ina…
- Cited by 1 (1 self) – Add To MetaCart
-
Automatic Abduction of Qualitative Models
- …. of Computer Sciences University of Texas Austin, Texas 78712 bradley@(email omitted); Ina Kraan Dept…
- Cited by 29 (8 self) – Add To MetaCart
Showing 1 through 6.
