information about Autoepistemic logic field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 56.5M papers | Artificial intelligence 11.7M papers | Programming language 7.4M papers | Theoretical computer science 641k papers |
Description logic 18.9k papers | Multimodal logic 8,950 papers | ||
Current | |||
Autoepistemic logic 3,442 papers | |||
Child | |||
Tautology (logic) 981 papers | Well-formed formula 961 papers | Default logic 763 papers | Negation as failure 671 papers |
Probabilistic logic network 505 papers | Predicate functor logic 326 papers | Bunched logic 85 papers |
Trends