information about Autoepistemic logic field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 54.8M papers | Artificial intelligence 11.2M papers | Programming language 7.2M papers | Theoretical computer science 615k papers |
Description logic 18.8k papers | Multimodal logic 8,854 papers | ||
Current | |||
Autoepistemic logic 3,422 papers | |||
Child | |||
Tautology (logic) 965 papers | Well-formed formula 963 papers | Default logic 764 papers | Negation as failure 681 papers |
Probabilistic logic network 506 papers | Predicate functor logic 319 papers | Bunched logic 81 papers |
Trends
Notes
History