Autoepistemic logic

https://www.wikidata.org/wiki/Q4826262

Field Hierarchy

Parent
Computer science 62.5M papers	Artificial intelligence 11.8M papers	Programming language 7.7M papers	Theoretical computer science 623k papers
Description logic 20.5k papers		Multimodal logic 9,988 papers
Current
Autoepistemic logic 3,822 papers
Child
Well-formed formula 1,141 papers	Tautology (logic) 1,012 papers	Default logic 895 papers	Negation as failure 807 papers
Probabilistic logic network 580 papers	Predicate functor logic 336 papers	Bunched logic 86 papers

Trends

Notes

History