Yale shooting problem

#	Item
1	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 Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
2	The History of the Frame Problem M.Kamermans and T.Schmits Faculty of Artificial Intelligence Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2009-10-22 11:30:54 Science Knowledge Logic in computer science Epistemology Fluent Frame problem Situation calculus Yale shooting problem Event calculus Logic programming Knowledge representation Artificial intelligence
3	PDF Document Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2012-04-02 12:42:46 Non-classical logic Logic Knowledge representation Frame problem Circumscription Yale shooting problem Non-monotonic logic Default logic Stable model semantics Logic programming Artificial intelligence Science