THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE - Parikh, Rohit
Sponsored By Ibm Research, Almaden Research Center.
Keywords: Artificial Intelligence--Cong; Knowledge, Theory Of--Cong; Logic, Symbolic And Mathematical--Cong