Anonymous
Not logged in
British English
Log in
Vigyanwiki
Search
Template
:
Automated reasoning
From Vigyanwiki
Namespaces
Template
Discussion
More
More
Page actions
Read
View source
History
Automated reasoning
v
t
e
Knowledge representation
and
reasoning
Backward chaining
Case-based reasoning
Commonsense reasoning
Forward chaining
Model-based reasoning
Inference engines
Proof assistants
Knowledge engineering
Expert systems
CLIPS
Connectionist expert systems
Expert systems for mortgages
Legal expert systems
Reasoning systems
Theorem provers
Constraint solvers
Deductive classifiers
Logic programs
Procedural reasoning systems
Rule engines
Ontology languages
Attempto Controlled English
CycL
F-logic
FO(.)
Knowledge Interchange Format
Web Ontology Language
Theorem provers
CARINE
E
Nqthm
Otter
Paradox
Prover9
SPASS
TPS
Z3
Constraint satisfaction
Constraint programming
Constraint logic programming
Local consistency
SMT solvers
Automated planning
Motion planning
Multi-agent planning
Partial-order planning
Preference-based planning
Reactive planning
State space planning
Category
:
Computer science templates
Hidden categories:
Collapse templates
Navigational boxes
Navigational boxes without horizontal lists
Pages with script errors
Sidebars with styles needing conversion
Template documentation pages
Templates generating microformats
Templates that are not mobile friendly
Templates using TemplateData
Wikipedia metatemplates
Navigation
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Wiki tools
Wiki tools
Special pages
Page tools
Page tools
User page tools
More
What links here
Related changes
Printable version
Permanent link
Page information
Page logs
Other projects
In other languages
Add links
Categories
Categories
Computer science templates
Hidden categories
Collapse templates
Navigational boxes
Navigational boxes without horizontal lists
Pages with script errors
Sidebars with styles needing conversion
Template documentation pages
Templates generating microformats
Templates that are not mobile friendly
Templates using TemplateData
Wikipedia metatemplates