information about Autoepistemic logic field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 56.2M papers | Artificial intelligence 11.6M papers | Programming language 7.4M papers | Theoretical computer science 637k papers |
Description logic 18.9k papers | Multimodal logic 8,931 papers | ||
Current | |||
Autoepistemic logic 3,432 papers | |||
Child | |||
Tautology (logic) 977 papers | Well-formed formula 959 papers | Default logic 761 papers | Negation as failure 670 papers |
Probabilistic logic network 505 papers | Predicate functor logic 325 papers | Bunched logic 85 papers |
Trends