https://www.vigyanwiki.in/index.php?action=history&feed=atom&title=Template%3AAutomated_reasoning 2026-07-03T23:00:19Z Revision history for this page on the wiki MediaWiki 1.39.3 https://www.vigyanwiki.in/index.php?title=Template:Automated_reasoning&diff=171013&oldid=prev 2023-05-26T05:36:33Z

<p>1 revision imported from <a href="https://alpha.indicwiki.in/index.php?title=Template:Automated_reasoning" class="extiw" title="alpha:Template:Automated reasoning">alpha:Template:Automated_reasoning</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 11:06, 26 May 2023</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Indicwiki https://www.vigyanwiki.in/index.php?title=Template:Automated_reasoning&diff=171012&oldid=prev 2023-05-15T05:37:30Z

<p>Created page with &quot;{{Navbox | name = Automated reasoning | state = {{{state|{{{1|&lt;noinclude&gt;un&lt;/noinclude&gt;collapsed}}}}}} | bodyclass = hlist | title = Knowledge representation and reasoning|K...&quot;</p> <p><b>New page</b></p><div>{{Navbox<br /> | name = Automated reasoning<br /> | state = {{{state|{{{1|&lt;noinclude&gt;un&lt;/noinclude&gt;collapsed}}}}}}<br /> | bodyclass = hlist<br /> | title = [[Knowledge representation and reasoning|Knowledge representation]] and [[automated reasoning|reasoning]]<br /> <br /> | above =<br /> <br /> * [[Backward chaining]]<br /> * [[Case-based reasoning]]<br /> * [[Commonsense reasoning]]<br /> * [[Forward chaining]]<br /> * [[Model-based reasoning]]<br /> * [[Inference engine]]s<br /> * [[Proof assistant]]s<br /> * [[Knowledge engineering]]<br /> <br /> | group1 = [[Expert system]]s<br /> | list1 =<br /> * [[CLIPS]]<br /> * [[Connectionist expert system]]s<br /> * [[Expert systems for mortgages]]<br /> * [[Legal expert system]]s<br /> | group2 = [[Reasoning_system#Types_of_reasoning_system|Reasoning system]]s<br /> | list2 =<br /> * [[Automated theorem proving|Theorem prover]]s<br /> * [[Constraint programming|Constraint solver]]s<br /> * [[Deductive classifier]]s<br /> * [[Logic programming|Logic program]]s<br /> * [[Procedural reasoning system]]s<br /> * [[Rule engine]]s<br /> | group3 = [[Ontology language]]s<br /> | list3 =<br /> * [[Attempto Controlled English]]<br /> * [[CycL]]<br /> * [[F-logic]]<br /> * [[FO(.)]]<br /> * [[Knowledge Interchange Format]]<br /> * [[Web Ontology Language]]<br /> | group4 = Theorem provers<br /> | list4 =<br /> * [[CARINE]]<br /> * [[E_(theorem_prover)|E]]<br /> * [[Nqthm]]<br /> * [[Otter (theorem prover)|Otter]]<br /> * [[Paradox (theorem prover)|Paradox]]<br /> * [[Prover9]]<br /> * [[SPASS]]<br /> * [[Theorem Proving System|TPS]]<br /> * [[Z3 Theorem Prover|Z3]]<br /> | group5 = [[Constraint satisfaction]]<br /> | list5 =<br /> * [[Constraint programming]]<br /> * [[Constraint logic programming]]<br /> * [[Local consistency]]<br /> * [[Satisfiability modulo theories|SMT solvers]]<br /> | group6 = [[Automated planning and scheduling|Automated planning]]<br /> | list6 =<br /> * [[Motion planning]]<br /> * [[Multi-agent planning]]<br /> * [[Partial-order planning]]<br /> * [[Preference-based planning]]<br /> * [[Reactive planning]]<br /> * [[State space planning]]<br /> }}&lt;noinclude&gt;<br /> [[Category:Computer science templates]]<br /> &lt;/noinclude&gt;</div>

alpha>Indicwiki