Template
:
Automated reasoning
From WikiProjectMed
Jump to navigation
Jump to search
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
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Log in
Namespaces
Template
Talk
English
Views
Read
View source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Donate
Donate
Projects
Wiki Project Med
Community pump
List of articles
Translation
Internet-in-a-Box
Offline app
VideoWiki
OWID
Requested images
Calculators
Tech
Common links
Import tool
Editors
Upload file
Med updater
Create redirects
Import history
Other projects
Commons
NC Commons
Tools
What links here
Related changes
Special pages
Printable version
Page information