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

Philosophy / Logic / Reasoning / Abstraction / Reason / Inference / Practical reason / Normative / Argument / David Hume / Isought problem / Defeasible reasoning

Practical reasoning John Broome University of Oxford For: Reason and Nature: Essays in the Theory of Rationality, edited by José Bermùdez and Alan Millar, Oxford University Press. This paper was written while I was a v

DocID: 1rrQu - View Document

Reasoning / Philosophy / Logic / Cognition / Reason / Practical reason / Argument / Normative / Deductive reasoning / Ethics / Rationality / Defeasible reasoning

Are intentions reasons? And how should we cope with incommensurable values? John Broome University of Oxford From: Practical Rationality and Preference: Essays for David Gauthier, edited by Christopher Morris and Arthur

DocID: 1qfy8 - View Document

An algorithm for the induction of defeasible logic theories from databases Benjamin Johnston Guido Governatori

DocID: 1nOeU - View Document

Implementing Temporal Defeasible Logic for Modeling Legal Reasoning Guido Governatori2 , Antonino Rotolo1 , Rossella Rubino1 2 1 CIRSFID, University of Bologna, Italy

DocID: 1nEFg - View Document

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

DocID: 1mENL - View Document