Back to Results
First PageMeta Content
Science / Reasoning / Automated theorem proving / Deduction / Knowledge representation / Frame problem / Event calculus / Circumscription / Yale shooting problem / Logic / Mathematical logic / Logic programming


Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo
Add to Reading List

Document Date: 2011-05-25 06:10:07


Open Document

File Size: 103,17 KB

Share Result on Facebook
UPDATE