Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic

Title
Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic
Authors
Keywords
Theory of mind, Higher-order reasoning, Computational-level analysis, Dynamic epistemic logic, Parameterized complexity, Intractability
Journal
Publisher
Springer Nature
Online
2018-05-14
DOI
10.1007/s10849-018-9268-4

Ask authors/readers for more resources

Reprint

Contact the author

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started