skhan@casun.kaist.ac.kr (Sangki Han) (12/10/87)
Hi! I and my collegue have designed and implemented a theorem prover for the epistemic logic based on Konolige's deduction model. We want to get various meaningful or famous examples to test our prover. Especially, it would be better if the example concerns both the knowledge and belief of multiple agents since we want to handle that kind of situations. Thanks in advance. Sangki Han