Search Results - Theory of computation Semantics AND reasoning Program reasoning Assertions

On the Interpretation of Denotational Semantics.

Authors: Cardone, Felice

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

Subject Terms: 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?

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

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

Subject Terms: MENTAL models theory (Communication), PSYCHOLOGY, CONTINUITY, PROBABILITY theory, LOGIC

CoqQ: Foundational Verification of Quantum Programs

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

Subject Terms: 4612 Software engineering, 4613 Theory of computation, 4903 Numerical and computational mathematics

File Description: 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

Availability: http://hdl.handle.net/10453/175412

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

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

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

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

Emotions in conceptual spaces.

Authors: Sikorski, Michał Hominis, Ohan

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

Subject Terms: 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

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

Resource Type: eBook.

Subjects: 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.

Authors: Lu, Xiaojun Yang, Jing

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

Subject Terms: 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.

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

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

Subject Terms: 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.

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

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

Subject Terms: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Recent mathematical advances in coupled cluster theory.

Authors: Faulstich, Fabian M.

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

Subject Terms: 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.

Authors: Bucciarelli, Edgardo Oliva, Andrea

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

Subject Terms: NASH equilibrium, MATHEMATICAL category theory, KNOWLEDGE representation (Information theory), EXISTENCE theorems, BARGAINING power, REASONING

Combinatory Logic, Semantics and Cognition.

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

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

Critical Computation: Digital Automata and General Artificial Thinking.

Authors: Parisi, Luciana

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

Subject Terms: ARTIFICIAL intelligence, DECISION making, AUTOMATION, MACHINE theory, ROBOTS

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

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

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

Subject Terms: 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.

Authors: Baker, Janet M. Cariani, Peter

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

Subject Terms: 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.

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

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

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

Authors: Frödin, Olle

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

Subject Terms: COGNITION, CULTURE, COGNITIVE psychology, ONTOLOGY, EXPRESSIVE language, VERSTEHEN

Plausibility and Early Theory in Linguistics and Cognitive Science.

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

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

ARGUMENTATION AND INFERENCE: A UNIFIED APPROACH.

Authors: FOUQUERÉ, CHRISTOPHE QUATRINI, MYRIAM

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

Subject Terms: GAME theory, JUDGMENT (Logic), REASONING, DECISION theory, DEBATE, SEMANTICS (Philosophy)

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

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

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

Subject Terms: CLINICAL decision support systems, KNOWLEDGE graphs, ALZHEIMER'S disease, DRUG repositioning, NOSOLOGY