Logic and Complexity in Cognitive Science
From MaRDI portal
Publication:5249690
DOI10.1007/978-3-319-06025-5_30zbMath1319.91136OpenAlexW2143503607MaRDI QIDQ5249690
Jakub Szymanik, Alistair Isaac, 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
Analysis of algorithms and problem complexity (68Q25) Research exposition (monographs, survey articles) pertaining to game theory, economics, and finance (91-02) Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Cognitive psychology (91E10) Natural language processing (68T50) Mathematical psychology (91E99) Other applications of logic (03B80)
Related Items
Computation as social agency: what, how and who ⋮ Book review of: J. Szymanik, Quantifiers and cognition: logical and computational perspectives ⋮ A fresh look at research strategies in computational cognitive science: the case of enculturated mathematical problem solving ⋮ Unnamed Item ⋮ Parameterized complexity of theory of mind reasoning in dynamic epistemic logic ⋮ 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 ⋮ Logic and Probabilistic Update ⋮ Book review of: Neil Tennant, Changes of mind. An essay on rational belief revision
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Assertion, inference, and consequence
- Exploring the tractability border in epistemic tasks
- Synchronizing diachronic uncertainty
- Computational complexity of the semantics of some natural language constructions
- Merging DEL and ETL
- Logic and social cognition. The facts matter, and so do computational models
- Logic and reasoning: do the facts matter?
- Dynamic epistemic logic
- Children's application of theory of mind in reasoning and language
- Learning to apply theory of mind
- Merging frameworks for interaction
- Essays in logical semantics
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- Language in action. Categories, lambdas and dynamic logic
- A note on applicability of the incompleteness theorem to human mind
- Analog computation via neural networks
- Fixpoint semantics for logic programming a survey
- Extensive games as process models
- Fragments of language
- Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
- Logic programs and connectionist networks
- 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
- Strategic reasoning: building cognitive models from logical formulas
- Nonmonotonic inferences and neural networks
- How much does it help to know what she knows you know? An agent-based simulation study
- Sources of complexity in subset choice
- Interpreted dynamical systems and qualitative laws: From neural networks to evolutionary systems
- How to Grow a Mind: Statistics, Structure, and Abstraction
- Logical Dynamics of Information and Interaction
- Invariance Properties of Quantifiers and Multiagent Information Exchange
- Hypercomputation
- Neural Cell Behavior and Fuzzy Logic
- Computational Semantics for Monadic Quantifiers
- A survey of complexity results for non-monotonic logics
- Computational Complexity
- Paths, Trees, and Flowers
- The complexity of theorem-proving procedures
- Language identification in the limit
- Systems of syntactic analysis
- A logical calculus of the ideas immanent in nervous activity
- An introduction to Kolmogorov complexity and its applications
- Nonmonotonic reasoning by inhibition nets
