Jump to content
Main menu
Main menu
move to sidebar
hide
Navigation
Main page
Contents
Current events
Random article
About Wikipedia
Contact us
Contribute
Help
Learn to edit
Community portal
Recent changes
Upload file
Special pages
Search
Search
Appearance
Donate
Create account
Log in
Personal tools
Donate
Create account
Log in
Template
:
Automated reasoning
2 languages
日本語
中文
Edit links
Template
Talk
English
Read
Edit
View history
Tools
Tools
move to sidebar
hide
Actions
Read
Edit
View history
General
What links here
Related changes
Upload file
Permanent link
Page information
Get shortened URL
Switch to legacy parser
Print/export
Download as PDF
Printable version
In other projects
Wikidata item
Appearance
move to sidebar
hide
From Wikipedia, the free encyclopedia
v
t
e
Knowledge representation and reasoning
Automated reasoning
Argumentation frameworks
Backward chaining
Belief revision
Case-based reasoning
Commonsense reasoning
Forward chaining
Model-based reasoning
Qualitative reasoning
Reason maintenance
Spatio-temporal reasoning
Reasoning systems
Expert systems
CLIPS
Connectionist expert systems
Expert systems for mortgages
Legal expert systems
Theorem provers
CARINE
E
Nqthm
Otter
Paradox
Prover9
SPASS
TPS
Z3
Logic programs
Prolog
Datalog
ASP
Constraint solvers
Constraint Handling Rules
MiniZinc
OR-Tools
Others
Deductive classifiers
Procedural reasoning systems
Rule engines
Ontology languages
Attempto Controlled English
CycL
F-logic
FO(.)
Knowledge Interchange Format
Web Ontology Language
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
Knowledge bases
Cyc
ConceptNet
DBpedia
Knowledge Graph
YAGO
Wikidata
Blackboard systems
Commonsense knowledge
Inference engines
Knowledge engineering
Knowledge acquisition
Knowledge extraction
Rule-based systems
Category
:
Computer science templates
Search
Search
Template
:
Automated reasoning
2 languages
Add topic
✕
