User:Zarzuelazen/Books/Reality Theory: Modal&Non-MonotonicLogic
 | The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
 | You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
| This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] | ||||||||
Reality Theory: Modal&Non-MonotonicLogic[edit]
- A priori and a posteriori
- Abductive logic programming
- Abductive reasoning
- Accessibility relation
- Analogy
- Analysis of competing hypotheses
- Analytic–synthetic distinction
- Answer set programming
- Argumentation framework
- Autoepistemic logic
- Backward chaining
- Belief revision
- Case-based reasoning
- Circumscription (logic)
- Classical modal logic
- Closed-world assumption
- Coherence theory of truth
- Coherentism
- Computation tree logic
- Concurrent constraint logic programming
- Concurrent logic programming
- Constraint logic programming
- Contingency (philosophy)
- Counterfactual conditional
- CTL*
- Declarative programming
- Default logic
- Defeasible reasoning
- Defuzzification
- Dempster–Shafer theory
- Deontic logic
- Description logic
- Doxastic logic
- Dynamic epistemic logic
- Dynamic logic (modal logic)
- Epistemic modal logic
- Epistemic possibility
- Explanation
- Explanatory power
- Fluent (artificial intelligence)
- Fluent calculus
- Forward chaining
- Functional programming
- Fuzzy concept
- Fuzzy logic
- Fuzzy number
- Fuzzy set
- Fuzzy set operations
- Hennessy–Milner logic
- Horn clause
- Hypothesis
- Impossible world
- Imprecise probability
- Inductive logic programming
- Kripke semantics
- Linear temporal logic
- Logic programming
- Logical possibility
- Many-valued logic
- Markov logic network
- Membership function (mathematics)
- Metaphysical necessity
- Modal companion
- Modal fallacy
- Modal logic
- Modal operator
- Modal realism
- Monoidal t-norm logic
- Multimodal logic
- Negation as failure
- Non-monotonic logic
- Normal modal logic
- Occam's razor
- Open-world assumption
- Paradigm
- Plausible reasoning
- Possibility theory
- Possible world
- Probabilistic logic
- Probabilistic logic network
- Problem of future contingents
- Prolog
- Regular modal logic
- Scientific theory
- Situation calculus
- SLD resolution
- Stable model semantics
- Subjective logic
- Subjunctive possibility
- T-norm
- T-norm fuzzy logics
- Temporal logic
- Theory
- Three-valued logic
- Transferable belief model
- Two-dimensionalism
- Well-founded semantics
- Wolfram Language
- Łukasiewicz logic