37 citations · 66 across the 10 of their papers we have counts for
1 paper · 2 filters
Nadia Creignou, Arne Meier, Michael Thomas +1
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore 1985 for mod…