Home
•
Search
•
Translate
From Wikipedia, the free encyclopedia
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
From Wikipedia, the free encyclopedia
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
Videos
Youtube
|
Vimeo
|
Bing
Websites
Google
|
Yahoo
|
Bing
Encyclopedia
Google
|
Yahoo
|
Bing
Facebook
Top Of Page
Home
•
Search
•
Translate
©
CSE