Travelled to:
1 × Australia
Collaborated with:
C.Beierle G.Kern-Isberner
Talks about:
implement (1) default (1) system (1) reason (1) level (1) autom (1) rule (1) high (1)
Person: Nicole Koch
DBLP: Koch:Nicole
Contributed to:
Wrote 1 papers:
- IJCAR-2008-BeierleKK #automation #implementation #reasoning
- A High-Level Implementation of a System for Automated Reasoning with Default Rules (CB, GKI, NK), pp. 147–153.