<--- Back to Details
First PageDocument Content
Non-classical logic / Logic programming / Defeasible logic / Inference / Non-monotonic logic / Æ / Stratification / First-order logic / Logic / Mathematical logic / Reasoning
Date: 2012-02-01 08:51:35
Non-classical logic
Logic programming
Defeasible logic
Inference
Non-monotonic logic
Æ
Stratification
First-order logic
Logic
Mathematical logic
Reasoning

Fundamenta Informaticae[removed]–[removed]IOS Press

Add to Reading List

Source URL: www.ida.liu.se

Download Document from Source Website

File Size: 138,55 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