Applying Theory to Practice
- 2023
- Journal of Logic and Computation
Publications
4 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