A First-Order Theory of Communication Multi-Agent Plans: Appendix B Leora Morgenstern IBM Watson Labs - Agent Logic - Document - PDFSEARCH.IO

First Page	Meta Content
	A First-Order Theory of Communication Multi-Agent Plans: Appendix B Leora Morgenstern IBM Watson Labs Add to Reading List Document Date: 2005-03-06 13:46:11 Open Document File Size: 147,72 KB Share Result on Facebook Company SB SA / Let SA / S SA / S0 SA / S0ASA / Appendix B Leora Morgenstern IBM Watson Labs / / / Facility Ernest Davis∗ Courant Institute / / Organization New York University / National Science Foundation / / Person Jane Austen / Ernest Davis / / ProvinceOrState Maryland / Arkansas / / SocialTag Logical consequence Logical syntax Metalogic S0 Logic Deduction Entailment

A First-Order Theory of Communication Multi-Agent Plans: Appendix B Leora Morgenstern IBM Watson Labs Add to Reading List