<--- Back to Details
First PageDocument Content
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
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

Add to Reading List

Source URL: www.cs.utexas.edu

Download Document from Source Website

File Size: 41,17 KB

Share Document on Facebook

Similar Documents

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

DocID: NPle - View Document

Science / Knowledge / Logic in computer science / Epistemology / Fluent / Frame problem / Situation calculus / Yale shooting problem / Event calculus / Logic programming / Knowledge representation / Artificial intelligence

The History of the Frame Problem M.Kamermans and T.Schmits Faculty of Artificial Intelligence

DocID: 2UVF - View Document

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

PDF Document

DocID: 17bc - View Document