Caparica

Results: 72



#Item
61Model theory / Proof theory / Entailment / Metalogic / Default logic / Inference / Soundness / Monotonicity of entailment / First-order logic / Logic / Logical consequence / Deduction

A resource bounded default logic Gregory R. Wheeler∗ Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed]

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-09-19 10:34:21
62Logical consequence / Deduction / Branches of philosophy / Reasoning / Logic programming / Epistemology / Inference / Default logic / Statistical inference / Logic / Science / Knowledge

Epistemology and Artificial Intelligence Gregory R. Wheeler and Lu´ıs Moniz Pereira Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal {

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-09-19 10:32:27
63Philosophical logic / Non-classical logic / Modal logic / Propositional calculus / Interpretation / Probabilistic logic / Symbol / First-order logic / Entailment / Logic / Mathematical logic / Model theory

Robustness of Evidential Probability Choh Man Teng and Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal cm.teng,[removed].

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-09-19 10:34:29
64Non-classical logic / Boolean algebra / Default logic / Knowledge representation / Propositional calculus / Stable model semantics / First-order logic / Answer set programming / Well-formed formula / Logic / Mathematical logic / Logic programming

An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-09-19 10:32:17
65Propositional calculus / Epistemology / Lottery paradox / Paradoxes / Propositional formula / Mu / Support / Logic / Mathematical logic / Boolean algebra

Rational Acceptance and Conjunctive/Disjunctive Absorption Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-09-19 10:32:13
66Probability theory / Measurement / Correlation and dependence / Independence / Conditional independence / Probability distribution / Pearson product-moment correlation coefficient / Statistical dependence / Statistics / Covariance and correlation

Focused Correlation and Confirmation Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed]

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-09-19 10:32:30
67Logic / Justification / Critical thinking / Belief revision / Formal epistemology / Isaac Levi / Theory of justification / Pragmatism / Non-monotonic logic / Knowledge / Philosophy / Epistemology

Review of Hans Rott’s Change, Choice and Inference Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-10-03 10:40:46
68Philosophy of mathematics / Epistemology / Lottery paradox / Paradoxes / Entailment / Probabilistic logic / Paraconsistent logic / Modal logic / Bayesian probability / Logic / Non-classical logic / Philosophical logic

Two puzzles concerning measures of uncertainty and the positive Boolean connectives Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica,

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-09-19 10:32:15
69Philosophical logic / Lottery paradox / Preface paradox / Paraconsistent logic / Rationality / Doxastic logic / Mathematical logic / Liar paradox / Function / Logic / Paradoxes / Epistemology

On the Structure of Rational Acceptance: Comments on Hawthorne and Bovens Gregory R. Wheeler CENTRIA, Artificial Intelligence Center Universidade Nova de Lisboa, [removed]Caparica, Portugal. [removed]

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-09-19 10:34:25
70Philosophical logic / Model theory / Metalogic / Propositional calculus / Interpretation / Kripke semantics / Entailment / First-order logic / Neighborhood semantics / Logic / Mathematical logic / Modal logic

AGM Belief Revision in Monotone Modal Logics Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed]

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2010-09-19 10:32:21
UPDATE