Autoepistemic logic as a unified basis for nonmonotonic reasoning
Autoepistemic logic as a unified basis for nonmonotonic reasoning
Ilkka Niemelä
Details
OL Work ID
OL39372553W
Find this book
Open Library