Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Automated_reasoning> ?p ?o }
- Automated_reasoning abstract "Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.The most developed subareas of automated reasoning are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions). Extensive work has also been done in reasoning by analogy induction and abduction.Other important topics include reasoning under uncertainty and non-monotonic reasoning. An important part of the uncertainty field is that of argumentation, where further constraints of minimality and consistency are applied on top of the more standard automated deduction. John Pollock's OSKAR system is an example of an automated argumentation system that is more specific than being just an automated theorem prover.Tools and techniques of automated reasoning include the classical logics and calculi, fuzzy logic, Bayesian inference, reasoning with maximal entropy and a large number of less formal ad hoc techniques.".
- Automated_reasoning wikiPageExternalLink iwil2008.
- Automated_reasoning wikiPageExternalLink es_series.html.
- Automated_reasoning wikiPageID "2884728".
- Automated_reasoning wikiPageLength "11843".
- Automated_reasoning wikiPageOutDegree "97".
- Automated_reasoning wikiPageRevisionID "668675002".
- Automated_reasoning wikiPageWikiLink AI_winter.
- Automated_reasoning wikiPageWikiLink Abductive_reasoning.
- Automated_reasoning wikiPageWikiLink Alfred_North_Whitehead.
- Automated_reasoning wikiPageWikiLink Allen_Newell.
- Automated_reasoning wikiPageWikiLink Analogy.
- Automated_reasoning wikiPageWikiLink Applications_of_artificial_intelligence.
- Automated_reasoning wikiPageWikiLink Artificial_intelligence.
- Automated_reasoning wikiPageWikiLink Association_for_Automated_Reasoning.
- Automated_reasoning wikiPageWikiLink Atle_Selberg.
- Automated_reasoning wikiPageWikiLink Automated_deduction.
- Automated_reasoning wikiPageWikiLink Automated_proof_checking.
- Automated_reasoning wikiPageWikiLink Automated_theorem_proving.
- Automated_reasoning wikiPageWikiLink Axiom.
- Automated_reasoning wikiPageWikiLink Axioms.
- Automated_reasoning wikiPageWikiLink Bayesian_inference.
- Automated_reasoning wikiPageWikiLink Bertrand_Russell.
- Automated_reasoning wikiPageWikiLink Boyer-Moore_theorem_prover.
- Automated_reasoning wikiPageWikiLink Brouwer_fixed-point_theorem.
- Automated_reasoning wikiPageWikiLink Category:Artificial_intelligence.
- Automated_reasoning wikiPageWikiLink Category:Automated_theorem_proving.
- Automated_reasoning wikiPageWikiLink Category:Logic_in_computer_science.
- Automated_reasoning wikiPageWikiLink Category:Reasoning.
- Automated_reasoning wikiPageWikiLink Category:Theoretical_computer_science.
- Automated_reasoning wikiPageWikiLink Cauchy_residue_theorem.
- Automated_reasoning wikiPageWikiLink Circuit_design.
- Automated_reasoning wikiPageWikiLink Cliff_Shaw.
- Automated_reasoning wikiPageWikiLink Computer_program.
- Automated_reasoning wikiPageWikiLink Computer_programs.
- Automated_reasoning wikiPageWikiLink Computer_science.
- Automated_reasoning wikiPageWikiLink Conference_on_Automated_Deduction.
- Automated_reasoning wikiPageWikiLink Coq.
- Automated_reasoning wikiPageWikiLink Expression_(mathematics).
- Automated_reasoning wikiPageWikiLink Feit-Thompson_theorem.
- Automated_reasoning wikiPageWikiLink Feit–Thompson_theorem.
- Automated_reasoning wikiPageWikiLink Formal_logic.
- Automated_reasoning wikiPageWikiLink Formal_proof.
- Automated_reasoning wikiPageWikiLink Four_color_theorem.
- Automated_reasoning wikiPageWikiLink Fundamental_theorem_of_algebra.
- Automated_reasoning wikiPageWikiLink Fundamental_theorem_of_calculus.
- Automated_reasoning wikiPageWikiLink Fuzzy_logic.
- Automated_reasoning wikiPageWikiLink Gotthold_Eisenstein.
- Automated_reasoning wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Automated_reasoning wikiPageWikiLink Gödel.
- Automated_reasoning wikiPageWikiLink HOL_Light.
- Automated_reasoning wikiPageWikiLink Haskell_(programming_language).
- Automated_reasoning wikiPageWikiLink Herbert_A._Simon.
- Automated_reasoning wikiPageWikiLink Incompleteness_theorem.
- Automated_reasoning wikiPageWikiLink Inductive_reasoning.
- Automated_reasoning wikiPageWikiLink Interactive_theorem_proving.
- Automated_reasoning wikiPageWikiLink International_Conference_on_Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods.
- Automated_reasoning wikiPageWikiLink International_Joint_Conference_on_Automated_Reasoning.
- Automated_reasoning wikiPageWikiLink Isabelle_(proof_assistant).
- Automated_reasoning wikiPageWikiLink Jordan_curve_theorem.
- Automated_reasoning wikiPageWikiLink Journal_of_Automated_Reasoning.
- Automated_reasoning wikiPageWikiLink Kepler_conjecture.
- Automated_reasoning wikiPageWikiLink Kurt_Gödel.
- Automated_reasoning wikiPageWikiLink Lisp_(programming_language).
- Automated_reasoning wikiPageWikiLink Logic.
- Automated_reasoning wikiPageWikiLink Logic_Theorist.
- Automated_reasoning wikiPageWikiLink Mathematical_expression.
- Automated_reasoning wikiPageWikiLink Mathematical_logic.
- Automated_reasoning wikiPageWikiLink Microsoft.
- Automated_reasoning wikiPageWikiLink Mizar_system.
- Automated_reasoning wikiPageWikiLink Neil_Robertson_(mathematician).
- Automated_reasoning wikiPageWikiLink Non-monotonic_logic.
- Automated_reasoning wikiPageWikiLink Nqthm.
- Automated_reasoning wikiPageWikiLink OCaml.
- Automated_reasoning wikiPageWikiLink Outline_of_artificial_intelligence.
- Automated_reasoning wikiPageWikiLink Paul_Erdős.
- Automated_reasoning wikiPageWikiLink Philosophy.
- Automated_reasoning wikiPageWikiLink Presburger_arithmetic.
- Automated_reasoning wikiPageWikiLink Prime_number_theorem.
- Automated_reasoning wikiPageWikiLink Principia_Mathematica.
- Automated_reasoning wikiPageWikiLink Principle_of_maximum_entropy.
- Automated_reasoning wikiPageWikiLink Principles_of_Mathematics.
- Automated_reasoning wikiPageWikiLink Program_analysis.
- Automated_reasoning wikiPageWikiLink Program_analysis_(computer_science).
- Automated_reasoning wikiPageWikiLink Proof_assistant.
- Automated_reasoning wikiPageWikiLink Quadratic_Reciprocity.
- Automated_reasoning wikiPageWikiLink Quadratic_reciprocity.
- Automated_reasoning wikiPageWikiLink Reason.
- Automated_reasoning wikiPageWikiLink Reasoning.
- Automated_reasoning wikiPageWikiLink Reasoning_system.
- Automated_reasoning wikiPageWikiLink Residue_theorem.
- Automated_reasoning wikiPageWikiLink Semantic_reasoner.
- Automated_reasoning wikiPageWikiLink Software_verification.
- Automated_reasoning wikiPageWikiLink Symbolic_logic.
- Automated_reasoning wikiPageWikiLink The_Principles_of_Mathematics.
- Automated_reasoning wikiPageWikiLink Theoretical_computer_science.
- Automated_reasoning wikiPageWikiLink Uncertainty.
- Automated_reasoning wikiPageWikiLink Visual_C.
- Automated_reasoning wikiPageWikiLink Visual_C++.
- Automated_reasoning wikiPageWikiLinkText "Automated Reasoning".