Výsledky vyhľadávania - Theory of computation Semantics and reasoning Program reasoning Assertions

On the Interpretation of Denotational Semantics.

Autori: Cardone, Felice

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

Predmety: 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?

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

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

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

CoqQ: Foundational Verification of Quantum Programs

Autori: Zhou, L Barthe, G Strub, PY a ďalší

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

Popis súboru: 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

Dostupnosť: http://hdl.handle.net/10453/175412

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

Autori: Özçep, Özgür L. Leemhuis, Mena Winkler, Maximilian a ďalší

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

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

Emotions in conceptual spaces.

Autori: Sikorski, Michał Hominis, Ohan

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

Predmety: 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

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

Typ zdroja: eBook.

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

Kategórie: 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.

Autori: Lu, Xiaojun Yang, Jing

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

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

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

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

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

Autori: Li, Shenglin Erickson, Caleb Zajac, Michal a ďalší

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

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

Recent mathematical advances in coupled cluster theory.

Autori: Faulstich, Fabian M.

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

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

Autori: Bucciarelli, Edgardo Oliva, Andrea

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

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

Combinatory Logic, Semantics and Cognition.

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

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

Critical Computation: Digital Automata and General Artificial Thinking.

Autori: Parisi, Luciana

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

Predmety: ARTIFICIAL intelligence, DECISION making, AUTOMATION, MACHINE theory, ROBOTS

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

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

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

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

Autori: Baker, Janet M. Cariani, Peter

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

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

Autori: Amasiadi, Natalia Aslani-Gkotzamanidou, Maria Theodorakopoulos, Leonidas a ďalší

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

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

Autori: Frödin, Olle

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

Predmety: COGNITION, CULTURE, COGNITIVE psychology, ONTOLOGY, EXPRESSIVE language, VERSTEHEN

Plausibility and Early Theory in Linguistics and Cognitive Science.

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

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

ARGUMENTATION AND INFERENCE: A UNIFIED APPROACH.

Autori: FOUQUERÉ, CHRISTOPHE QUATRINI, MYRIAM

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

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

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

Autori: Dobreva, Jovana Simjanoska Misheva, Monika Mishev, Kostadin a ďalší

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

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