The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distrib...
Reasoning about knowledge—particularly the knowledge of agents who reason about the world and ...
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...
This book consitutes the refereed proceedings of the 10th International Conference on Computer Ai...
The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distrib...
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...
Provides a general discussion of approaches to reasoning about knowledge and its applications to ...