<--- Back to Details
First PageDocument Content
Non-classical logic / Logic programming / Philosophical logic / Default logic / Autoepistemic logic / First-order logic / Prolog / Stable model semantics / Non-monotonic logic / Logic / Mathematical logic / Reasoning
Date: 2004-01-22 06:29:02
Non-classical logic
Logic programming
Philosophical logic
Default logic
Autoepistemic logic
First-order logic
Prolog
Stable model semantics
Non-monotonic logic
Logic
Mathematical logic
Reasoning

В издательстве «Физматлит» в 2004 г

Add to Reading List

Source URL: raai.org

Download Document from Source Website

File Size: 124,97 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