Parameterized complexity of theory of mind reasoning in dynamic epistemic logic (Q1711514): Difference between revisions

@@ Property / full work available at URL @@
-https://doi.org/10.1007/s10849-018-9268-4
-Normal rank
@@ Property / OpenAlex ID @@
-W2804343002
@@ Property / OpenAlex ID: W2804343002 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10849-018-9268-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2804343002
@@ Property / OpenAlex ID: W2804343002 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q92909309
@@ Property / Wikidata QID: Q92909309 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+An internal version of epistemic logic
@@ Property / cites work: An internal version of epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+A computational-level explanation of the speed of goal inference
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
+Normal rank
@@ Property / cites work @@
+Single-Player and Two-Player Buttons &amp; Scissors Games
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the tractability border in epistemic tasks
+Normal rank
@@ Property / cites work @@
+The traveling salesman problem with few inner points
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+On the parameterized complexity of multiple-interval graph problems
+Normal rank
@@ Property / cites work @@
+Children's application of theory of mind in reasoning and language
+Normal rank
@@ Property / cites work @@
+Describing parameterized complexity classes
@@ Property / cites work: Describing parameterized complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744910
@@ Property / cites work: Q2744910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariance Properties of Quantifiers and Multiagent Information Exchange
+Normal rank
@@ Property / cites work @@
+Logic and Complexity in Cognitive Science
@@ Property / cites work: Logic and Complexity in Cognitive Science / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifiers and cognition: logical and computational perspectives
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648829
@@ Property / cites work: Q4648829 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636291
@@ Property / cites work: Q4636291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015396
@@ Property / cites work: Q5015396 / rank @@
+Normal rank
@@ Property / cites work @@
+Sources of complexity in subset choice
@@ Property / cites work: Sources of complexity in subset choice / rank @@
+Normal rank
@@ Property / cites work @@
+Intractability and approximation of optimization theories of cognition
+Normal rank
@@ Property / cites work @@
+Logic and social cognition. The facts matter, and so do computational models
+Normal rank