Suchergebnisse - Theory of computation Semantics and reasoning Program reasoning Assertions~

On the Interpretation of Denotational Semantics.

Autoren: Cardone, Felice

Quelle: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p

Schlagwörter: SEMANTICS, PROGRAMMING language semantics, MATHEMATICAL category theory, PROGRAMMING languages, INTUITIONISTIC mathematics, FUNCTIONAL programming (Computer science)

When nomenclature matters: Is the "new paradigm" really a new paradigm for the psychology of reasoning?

Autoren: Knauff, Markus Gazzo Castañeda, Lupita Estefania

Quelle: Thinking & Reasoning; Aug2023, Vol. 29 Issue 3, p341-370, 30p, 2 Charts

Schlagwörter: MENTAL models theory (Communication), PSYCHOLOGY, CONTINUITY, PROBABILITY theory, LOGIC

CoqQ: Foundational Verification of Quantum Programs

Autoren: Zhou, L Barthe, G Strub, PY et al.

Schlagwörter: 4612 Software engineering, 4613 Theory of computation, 4903 Numerical and computational mathematics

Dateibeschreibung: application/pdf

Relation: Proceedings of the ACM on Programming Languages; Proceedings of the ACM on Programming Languages, 2023, 7, (POPL), pp. 833-865; http://hdl.handle.net/10453/175412

Verfügbarkeit: http://hdl.handle.net/10453/175412

Modeling and Accessing Smart Materials with Integrity Constraints in the Shapes Constraint Language and Ontologies—The SmaDi Way.

Autoren: Özçep, Özgür L. Leemhuis, Mena Winkler, Maximilian et al.

Quelle: Advanced Engineering Materials; Apr2025, Vol. 27 Issue 8, p1-17, 17p

Schlagwörter: SPARQL (Computer program language), LINKED data (Semantic Web), SMART materials, CONSORTIA, SYSTEMS software, RDF (Document markup language)

Emotions in conceptual spaces.

Autoren: Sikorski, Michał Hominis, Ohan

Quelle: Philosophical Psychology; Aug2025, Vol. 38 Issue 6, p2865-2891, 27p

Schlagwörter: EMOTIONS, EMOTIONAL state, HYPOTHESIS, SPATIAL behavior, COGNITIVE maps (Psychology), CONCEPTUALISM, PSYCHOLOGY

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Autoren: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt

Resource Type: eBook.

Schlagworte: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Second language embodiment of action verbs: the impact of bilingual experience as a multidimensional spectrum.

Autoren: Lu, Xiaojun Yang, Jing

Quelle: Bilingualism: Language & Cognition; Aug2025, Vol. 28 Issue 4, p1117-1133, 17p

Schlagwörter: BILINGUALISM, SECOND language acquisition, LANGUAGE ability, VERBAL behavior, MENTAL representation, MEANING (Philosophy), EXPERTISE, LARGE-scale brain networks

RAVE-HD: A Novel Sequential Deep Learning Approach for Heart Disease Risk Prediction in e-Healthcare.

Autoren: Khan, Muhammad Jaffar Raza, Basit Faheem, Muhammad

Quelle: Diagnostics (2075-4418); Nov2025, Vol. 17 Issue 22, p2866, 50p

Schlagwörter: HEART diseases, DEEP learning, MEDICAL screening, FEATURE selection, MACHINE learning, PREDICTION models, DIGITAL health, STATISTICAL bias

A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

Autoren: Li, Shenglin Erickson, Caleb Zajac, Michal et al.

Quelle: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p

Schlagwörter: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Recent mathematical advances in coupled cluster theory.

Autoren: Faulstich, Fabian M.

Quelle: International Journal of Quantum Chemistry; 7/5/2024, Vol. 124 Issue 13, p1-27, 27p

Schlagwörter: ALGEBRAIC geometry, NUMERICAL analysis, PHYSICAL & theoretical chemistry, COMPUTATIONAL chemistry

Arrow's impossibility theorem as a special case of Nash equilibrium: a cognitive approach to the theory of collective decision-making.

Autoren: Bucciarelli, Edgardo Oliva, Andrea

Quelle: Mind & Society; Jun2020, Vol. 19 Issue 1, p15-41, 27p

Schlagwörter: NASH equilibrium, MATHEMATICAL category theory, KNOWLEDGE representation (Information theory), EXISTENCE theorems, BARGAINING power, REASONING

Combinatory Logic, Semantics and Cognition.

Autoren: Rouabhi, Miloud Desclés, Jean-Pierre

Quelle: Journal of Cognitive Science; Jun2025, Vol. 26 Issue 2, p111-158, 48p

Critical Computation: Digital Automata and General Artificial Thinking.

Autoren: Parisi, Luciana

Quelle: Theory, Culture & Society; Mar2019, Vol. 36 Issue 2, p89-121, 33p

Schlagwörter: ARTIFICIAL intelligence, DECISION making, AUTOMATION, MACHINE theory, ROBOTS

Case-Based and Quantum Classification for ERP-Based Brain–Computer Interfaces.

Autoren: Cattan, Grégoire H. Quemy, Alexandre

Quelle: Brain Sciences (2076-3425); Feb2023, Vol. 13 Issue 2, p303, 15p

Schlagwörter: BRAIN-computer interfaces, CASE-based reasoning, EDUCATIONAL outcomes, ELECTROENCEPHALOGRAPHY, CLASSIFICATION, AGROBACTERIUM tumefaciens

Time-domain brain: temporal mechanisms for brain functions using time-delay nets, holographic processes, radio communications, and emergent oscillatory sequences.

Autoren: Baker, Janet M. Cariani, Peter

Quelle: Frontiers in Computational Neuroscience; 2025, p1-35, 35p

Schlagwörter: TELECOMMUNICATION systems, ASSOCIATIVE storage, DELAY lines, COMMUNICATION models, TEMPORARY stores, MOTOR learning

AI-Driven Bayesian Deep Learning for Lung Cancer Prediction: Precision Decision Support in Big Data Health Informatics.

Autoren: Amasiadi, Natalia Aslani-Gkotzamanidou, Maria Theodorakopoulos, Leonidas et al.

Quelle: BioMedInformatics; Sep2025, Vol. 5 Issue 3, p39, 38p

Meaning and Cognition: A Unified Approach to Meaning-Making.

Autoren: Frödin, Olle

Quelle: Sociological Theory; Sep2025, Vol. 43 Issue 3, p211-237, 27p

Schlagwörter: COGNITION, CULTURE, COGNITIVE psychology, ONTOLOGY, EXPRESSIVE language, VERSTEHEN

Plausibility and Early Theory in Linguistics and Cognitive Science.

Autoren: Baggio, Giosuè De Santo, Aniello Nuñez, Nancy Abigail

Quelle: Computational Brain & Behavior; Dec2024, Vol. 7 Issue 4, p535-547, 13p

ARGUMENTATION AND INFERENCE: A UNIFIED APPROACH.

Autoren: FOUQUERÉ, CHRISTOPHE QUATRINI, MYRIAM

Quelle: Baltic International Yearbook of Cognition, Logic & Communication; Nov2013, Vol. 8, p1-41, 21p

Schlagwörter: GAME theory, JUDGMENT (Logic), REASONING, DECISION theory, DEBATE, SEMANTICS (Philosophy)

A Unified Framework for Alzheimer's Disease Knowledge Graphs: Architectures, Principles, and Clinical Translation.

Autoren: Dobreva, Jovana Simjanoska Misheva, Monika Mishev, Kostadin et al.

Quelle: Brain Sciences (2076-3425); May2025, Vol. 15 Issue 5, p523, 36p

Schlagwörter: CLINICAL decision support systems, KNOWLEDGE graphs, ALZHEIMER'S disease, DRUG repositioning, NOSOLOGY