scientific article; zbMATH DE number 7440224
From MaRDI portal
Publication:5015396
zbMath1483.68387arXiv1606.07526MaRDI QIDQ5015396
Iris van Rooij, Iris van de Pol, Jakub Szymanik
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1606.07526
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Parameterized complexity, tractability and kernelization (68Q27)
Related Items
Knowledge-based strategies for multi-agent teams playing against nature, Parameterized complexity of theory of mind reasoning in dynamic epistemic logic, Estimating the use of higher-order theory of mind using computational agents
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intractability and the use of heuristics in psychological explanations
- Fundamentals of parameterized complexity
- Exploring the tractability border in epistemic tasks
- Logic and social cognition. The facts matter, and so do computational models
- Dynamic epistemic logic
- An internal version of epistemic logic
- On the parameterized complexity of multiple-interval graph problems
- Children's application of theory of mind in reasoning and language
- Rational analysis, intractability, and the prospects of `as if'-explanations
- Describing parameterized complexity classes
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
- Parametrized complexity theory.
- Epistemic planning for single- and multi-agent systems
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Logical Dynamics of Information and Interaction
- Invariance Properties of Quantifiers and Multiagent Information Exchange
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic
- Logic and Complexity in Cognitive Science
- The complexity of theorem-proving procedures
