Logic and Complexity in Cognitive Science (Q5249690): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2143503607
@@ Property / OpenAlex ID: W2143503607 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258216
@@ Property / cites work: Q4258216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028771
@@ Property / cites work: Q4028771 / rank @@
+Normal rank
@@ Property / cites work @@
+Essays in logical semantics
@@ Property / cites work: Essays in logical semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Extensive games as process models
@@ Property / cites work: Extensive games as process models / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and reasoning: do the facts matter?
@@ Property / cites work: Logic and reasoning: do the facts matter? / rank @@
+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 @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic inferences and neural networks
@@ Property / cites work: Nonmonotonic inferences and neural networks / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of complexity results for non-monotonic logics
+Normal rank
@@ Property / cites work @@
+Q4805737
@@ Property / cites work: Q4805737 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of syntactic analysis
@@ Property / cites work: Systems of syntactic analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+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 @@
+Q4806970
@@ Property / cites work: Q4806970 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the tractability border in epistemic tasks
+Normal rank
@@ Property / cites work @@
+Q4238952
@@ Property / cites work: Q4238952 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Paths, Trees, and Flowers
@@ Property / cites work: Paths, Trees, and Flowers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385524
@@ Property / cites work: Q4385524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Children's application of theory of mind in reasoning and language
+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 @@
+Strategic reasoning: building cognitive models from logical formulas
+Normal rank
@@ Property / cites work @@
+Invariance Properties of Quantifiers and Multiagent Information Exchange
+Normal rank
@@ Property / cites work @@
+An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs and connectionist networks
@@ Property / cites work: Logic programs and connectionist networks / rank @@
+Normal rank
@@ Property / cites work @@
+Merging DEL and ETL
@@ Property / cites work: Merging DEL and ETL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizing diachronic uncertainty
@@ Property / cites work: Synchronizing diachronic uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning by inhibition nets
@@ Property / cites work: Nonmonotonic reasoning by inhibition nets / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreted dynamical systems and qualitative laws: From neural networks to evolutionary systems
+Normal rank
@@ Property / cites work @@
+An introduction to Kolmogorov complexity and its applications
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical calculus of the ideas immanent in nervous activity
+Normal rank
@@ Property / cites work @@
+Computational Semantics for Monadic Quantifiers
@@ Property / cites work: Computational Semantics for Monadic Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of the semantics of some natural language constructions
+Normal rank
@@ Property / cites work @@
+Assertion, inference, and consequence
@@ Property / cites work: Assertion, inference, and consequence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4764192
@@ Property / cites work: Q4764192 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
+Normal rank
@@ Property / cites work @@
+Fragments of language
@@ Property / cites work: Fragments of language / rank @@
+Normal rank
@@ Property / cites work @@
+A note on applicability of the incompleteness theorem to human mind
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / 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 @@
+Neural Cell Behavior and Fuzzy Logic
@@ Property / cites work: Neural Cell Behavior and Fuzzy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents
+Normal rank
@@ Property / cites work @@
+Analog computation via neural networks
@@ Property / cites work: Analog computation via neural networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805386
@@ Property / cites work: Q4805386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3251780
@@ Property / cites work: Q3251780 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypercomputation
@@ Property / cites work: Hypercomputation / rank @@
+Normal rank
@@ Property / cites work @@
+How to Grow a Mind: Statistics, Structure, and Abstraction
+Normal rank
@@ Property / cites work @@
+Learning to apply theory of mind
@@ Property / cites work: Learning to apply theory of mind / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and social cognition. The facts matter, and so do computational models
+Normal rank
@@ Property / cites work @@
+How much does it help to know what she knows you know? An agent-based simulation study
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5249690