Back to Results
First PageMeta Content
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


Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu
Add to Reading List

Document Date: 2010-08-28 23:41:03


Open Document

File Size: 471,39 KB

Share Result on Facebook