Publications

3 results at Journal of Logic and Computation

A first-order theory of communication and multi-agent plans
- - Ernest Davis
  - Leora Morgenstern
- 2005
- 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

A first-order theory of communication and multi-agent plans