Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q2555318> ?p ?o }
Showing triples 1 to 84 of
84
with 100 triples per page.
- Q2555318 subject Q558331.
- Q2555318 subject Q7153055.
- Q2555318 subject Q7214939.
- Q2555318 subject Q7464734.
- Q2555318 subject Q8279957.
- Q2555318 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 OSCAR 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.".
- Q2555318 wikiPageExternalLink iwil2008.
- Q2555318 wikiPageExternalLink es_series.html.
- Q2555318 wikiPageWikiLink Q1131652.
- Q2555318 wikiPageWikiLink Q11387554.
- Q2555318 wikiPageWikiLink Q1144897.
- Q2555318 wikiPageWikiLink Q11660.
- Q2555318 wikiPageWikiLink Q1166618.
- Q2555318 wikiPageWikiLink Q1217677.
- Q2555318 wikiPageWikiLink Q132874.
- Q2555318 wikiPageWikiLink Q13649246.
- Q2555318 wikiPageWikiLink Q1417473.
- Q2555318 wikiPageWikiLink Q1531456.
- Q2555318 wikiPageWikiLink Q1609529.
- Q2555318 wikiPageWikiLink Q163335.
- Q2555318 wikiPageWikiLink Q173746.
- Q2555318 wikiPageWikiLink Q17736.
- Q2555318 wikiPageWikiLink Q178354.
- Q2555318 wikiPageWikiLink Q181529.
- Q2555318 wikiPageWikiLink Q183372.
- Q2555318 wikiPageWikiLink Q184410.
- Q2555318 wikiPageWikiLink Q185816.
- Q2555318 wikiPageWikiLink Q192760.
- Q2555318 wikiPageWikiLink Q200787.
- Q2555318 wikiPageWikiLink Q211041.
- Q2555318 wikiPageWikiLink Q2112188.
- Q2555318 wikiPageWikiLink Q21198.
- Q2555318 wikiPageWikiLink Q212587.
- Q2555318 wikiPageWikiLink Q224821.
- Q2555318 wikiPageWikiLink Q2283.
- Q2555318 wikiPageWikiLink Q2488768.
- Q2555318 wikiPageWikiLink Q260928.
- Q2555318 wikiPageWikiLink Q2762418.
- Q2555318 wikiPageWikiLink Q2878974.
- Q2555318 wikiPageWikiLink Q308495.
- Q2555318 wikiPageWikiLink Q3245116.
- Q2555318 wikiPageWikiLink Q33760.
- Q2555318 wikiPageWikiLink Q34010.
- Q2555318 wikiPageWikiLink Q386292.
- Q2555318 wikiPageWikiLink Q3929429.
- Q2555318 wikiPageWikiLink Q40056.
- Q2555318 wikiPageWikiLink Q41390.
- Q2555318 wikiPageWikiLink Q431667.
- Q2555318 wikiPageWikiLink Q4391896.
- Q2555318 wikiPageWikiLink Q4391903.
- Q2555318 wikiPageWikiLink Q439245.
- Q2555318 wikiPageWikiLink Q460340.
- Q2555318 wikiPageWikiLink Q4652028.
- Q2555318 wikiPageWikiLink Q472883.
- Q2555318 wikiPageWikiLink Q4781507.
- Q2555318 wikiPageWikiLink Q4809405.
- Q2555318 wikiPageWikiLink Q4826475.
- Q2555318 wikiPageWikiLink Q484511.
- Q2555318 wikiPageWikiLink Q5159939.
- Q2555318 wikiPageWikiLink Q558331.
- Q2555318 wikiPageWikiLink Q5635438.
- Q2555318 wikiPageWikiLink Q5891.
- Q2555318 wikiPageWikiLink Q6049582.
- Q2555318 wikiPageWikiLink Q6051264.
- Q2555318 wikiPageWikiLink Q61047.
- Q2555318 wikiPageWikiLink Q6294821.
- Q2555318 wikiPageWikiLink Q6498784.
- Q2555318 wikiPageWikiLink Q6504747.
- Q2555318 wikiPageWikiLink Q7067521.
- Q2555318 wikiPageWikiLink Q7112560.
- Q2555318 wikiPageWikiLink Q7153055.
- Q2555318 wikiPageWikiLink Q7214939.
- Q2555318 wikiPageWikiLink Q7301504.
- Q2555318 wikiPageWikiLink Q7464734.
- Q2555318 wikiPageWikiLink Q7758358.
- Q2555318 wikiPageWikiLink Q8078.
- Q2555318 wikiPageWikiLink Q812535.
- Q2555318 wikiPageWikiLink Q8279957.
- Q2555318 wikiPageWikiLink Q830513.
- Q2555318 wikiPageWikiLink Q909517.
- Q2555318 wikiPageWikiLink Q956059.
- Q2555318 wikiPageWikiLink Q966873.
- Q2555318 comment "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.".
- Q2555318 label "Automated reasoning".