Logics of knowledge and beliefβapplicati
β
Nicholas Measor
π
Article
π
1991
π
Springer Netherlands
π
English
β 885 KB
In this paper we survey formal techniques for the study of reasoning about knowledge and belief, and consider their application in the areas of distributed computing and nonmonotonic reasoning.