Date: 2010-08-28 23:41:03Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic | | Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.eduAdd to Reading ListSource URL: www.cs.huji.ac.ilDownload Document from Source Website File Size: 471,39 KBShare Document on Facebook
|