BibSonomy :: user  :: sebastian ::

bookmarks

publications

(2)   

• The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.
  Alan M. Frisch Artif. Intell.49(1-3):161-198(1991)
  to new hybrid frisch by sebastian and 1 other person on Jan 14, 2007, 10:33 PM
  URL | BibTeX 
• Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.
  Alan M. Frisch ILP, page104-115. (1999)
  to frisch ilp new by sebastian and 1 other person on Jan 14, 2007, 10:32 PM
  URL | BibTeX