A first-order theory of communication and multi-agent plans
- Ernest Davis
- Leora Morgenstern
- 2005
- Journal of Logic and Computation
Publications
Date
Featured collections
Popular topics
3 results at Journal of Logic and Computation
Event calculus reasoning through satisfiability
- Erik T. Mueller
- 2004
- Journal of Logic and Computation
A theory of knowledge and ignorance for many agents
- Joseph Y. Halpern
- 1997
- Journal of Logic and Computation