Publisher
Springer Nature Switzerland
Reference18 articles.
1. Anderson, M., Josyula, D., Perlis, D., Purang, K.: Active logic for more effective human-computer interaction and other commonsense applications. In: Workshop for Empirically Successful First-Order Reasoning, International Joint Conference on Automated Reasoning. IJCAR, Cork (2004)
2. Butterfill, S.A., Apperly, I.A.: How to construct a minimal theory of mind. Mind Lang. 28(5), 606–637 (2013)
3. Davis, E.: Knowledge and communication: a first-order theory. Artif. Intell. 166(1–2), 81–139 (2005)
4. Davis, E.: Logical formalizations of commonsense reasoning: a survey. J. Artif. Intell. Res. 59(1), 651–723 (2017)
5. Davis, E., Morgenstern, L.: A first-order theory of communication and multi-agent plans. J. Log. Comput. 15(5), 701–749 (2005)