information about Autoepistemic logic field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 55.7M papers | Artificial intelligence 11.4M papers | Programming language 7.3M papers | Theoretical computer science 632k papers |
Description logic 19k papers | Multimodal logic 8,940 papers | ||
Current | |||
Autoepistemic logic 3,442 papers | |||
Child | |||
Tautology (logic) 978 papers | Well-formed formula 963 papers | Default logic 765 papers | Negation as failure 670 papers |
Probabilistic logic network 511 papers | Predicate functor logic 324 papers | Bunched logic 85 papers |
Trends