<--- 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

ESSLLI 2016 Course Proposal: Introduction to Non-Monotonic Logic June 8, 2015 1

DocID: 1uGtl - View Document

A Non-monotonic Extension of Universal Moral Grammar Theory Gert-Jan Munneke () Institute for Logic, Language and Computation University of Amsterdam 107 Science Park, Amsterdam, 1090 GE The Netherlands

DocID: 1u12K - View Document

13 International Workshop on Non-Monotonic Reasoning, NMROn the Complexity of Temporal Defeasible Logic Guido Governatori∗

DocID: 1mENL - View Document

A Non-monotonic Extension of Universal Moral Grammar Theory Gert-Jan Munneke () Institute for Logic, Language and Computation University of Amsterdam 107 Science Park, Amsterdam, 1090 GE The Netherlands

DocID: 1lA4E - View Document

Why Priest’s reassurance is not reassuring∗ Jc Beall March 3, 2012 In the service of paraconsistent (indeed, ‘dialetheic’) theories, Graham Priest has long advanced a non-monotonic logic (viz., MiLP) as our ‘un

DocID: 1lblV - View Document