Logic and complexity in cognitive science
From MaRDI portal
Publication:5249690
DOI10.1007/978-3-319-06025-5_30zbMATH Open1319.91136OpenAlexW2143503607MaRDI QIDQ5249690FDOQ5249690
Authors: Alistair Isaac, Jakub Szymanik, Rineke Verbrugge 
Publication date: 11 May 2015
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: http://jakubszymanik.com/papers/LogicCogSci.pdf
Recommendations
- The new logic
- scientific article; zbMATH DE number 7046736
- Logic and social cognition. The facts matter, and so do computational models
- Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
- Experimental logics as a model of development of deductive science and computational properties of undecidable sentences
Cognitive psychology (91E10) Analysis of algorithms and problem complexity (68Q25) Mathematical psychology (91E99) Research exposition (monographs, survey articles) pertaining to game theory, economics, and finance (91-02) Logic of natural languages (03B65) Logic in artificial intelligence (68T27) Natural language processing (68T50) Other applications of logic (03B80)
Cites Work
- Title not available (Why is that?)
- Nonmonotonic reasoning, preferential models and cumulative logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computational Complexity
- Paths, Trees, and Flowers
- Title not available (Why is that?)
- Essays in logical semantics
- Logical dynamics of information and interaction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The complexity of theorem-proving procedures
- Language identification in the limit
- A logical calculus of the ideas immanent in nervous activity
- Logic and reasoning: do the facts matter?
- Title not available (Why is that?)
- Hypercomputation
- An introduction to Kolmogorov complexity and its applications
- Dynamic epistemic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- How much does it help to know what she knows you know? An agent-based simulation study
- Fixpoint semantics for logic programming a survey
- Analog computation via neural networks
- Language in action. Categories, lambdas and dynamic logic
- Tractable competence
- Assertion, inference, and consequence
- Nonmonotonic reasoning by inhibition nets
- How to grow a mind: statistics, structure, and abstraction
- Merging frameworks for interaction
- Logic programs and connectionist networks
- Invariance Properties of Quantifiers and Multiagent Information Exchange
- Exploring the tractability border in epistemic tasks
- Logic and social cognition. The facts matter, and so do computational models
- Learning to apply theory of mind
- Merging DEL and ETL
- Extensive games as process models
- Nonmonotonic inferences and neural networks
- Title not available (Why is that?)
- Systems of syntactic analysis
- Interpreted dynamical systems and qualitative laws: From neural networks to evolutionary systems
- Synchronizing diachronic uncertainty
- Computational complexity of the semantics of some natural language constructions
- A survey of complexity results for non-monotonic logics
- Title not available (Why is that?)
- Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
- Children's application of theory of mind in reasoning and language
- Fragments of language
- Sources of complexity in subset choice
- A note on applicability of the incompleteness theorem to human mind
- Neural Cell Behavior and Fuzzy Logic
- Strategic reasoning: building cognitive models from logical formulas
- Computational Semantics for Monadic Quantifiers
- An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system
- Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents
- Title not available (Why is that?)
Cited In (17)
- Title not available (Why is that?)
- Book review of: Neil Tennant, Changes of mind. An essay on rational belief revision
- Book review of: J. Szymanik, Quantifiers and cognition: logical and computational perspectives
- Computation as social agency: what, how and who
- Studying strategies and types of players: experiments, logics and cognitive models
- Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents
- The new logic
- Experimental logics as a model of development of deductive science and computational properties of undecidable sentences
- Logic and probabilistic update
- Logic in the study of psychiatric disorders: executive function and rule-following
- Cognitive and computational complexity: considerations from mathematical problem solving
- Logic and social cognition. The facts matter, and so do computational models
- Two doors to open
- A fresh look at research strategies in computational cognitive science: the case of enculturated mathematical problem solving
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
- Logical form as a determinant of cognitive processes
- Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
This page was built for publication: Logic and complexity in cognitive science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5249690)
