![Logic programming / Filter theory / Logic in computer science / Knowledge representation / Formal languages / Situation calculus / Fluent / Well-formed formula / FO / Filter / Frame problem / Linear temporal logic Logic programming / Filter theory / Logic in computer science / Knowledge representation / Formal languages / Situation calculus / Fluent / Well-formed formula / FO / Filter / Frame problem / Linear temporal logic](https://www.pdfsearch.io/img/4727b3c0f2a0d7f3435796a1236bc54f.jpg) 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
|