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

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

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

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

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

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)

Relational Program Reasoning Using Compiler IR.

Authors: Kiefer, Moritz Klebanov, Vladimir Ulbrich, Mattias

Source: Journal of Automated Reasoning; Mar2018, Vol. 60 Issue 3, p337-363, 27p

REASONING ALIGNMENT FOR AGENTIC AI: ARGUMENTATION, BELIEF REVISION, AND DIALOGUE.

Authors: Rienstra, Tjitze van der Torre, Leendert Yu, Liuwen

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Oct2025, Vol. 12 Issue 6, p1683-1712, 30p

Subject Terms: ARGUMENT, AUTONOMY (Philosophy), ORGANIZATIONAL accountability, AGENT (Philosophy), KNOWLEDGE representation (Information theory), DISCOURSE

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

Orchestrating Semiotic Leaps from Tacit to Cultural Quantitative Reasoning—The Case of Anticipating Experimental Outcomes of a Quasi-Binomial Random Generator.

Authors: Abrahamson, Dor

Source: Cognition & Instruction; 2009, Vol. 27 Issue 3, p175-224, 50p, 4 Black and White Photographs, 1 Diagram, 1 Chart, 1 Graph

Subject Terms: CASE studies, REASONING, INTUITION, CHILD psychology, COGNITIVE ability, ACTIVITY programs in education

ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding.

Authors: CALIMERI, FRANCESCO IANNI, GIOVAMBATTISTA PACENZA, FRANCESCO et al.

Source: Theory & Practice of Logic Programming; May2025, Vol. 25 Issue 3, p281-303, 23p

Subject Terms: KNOWLEDGE representation (Information theory), LOGIC programming, ADAPTIVE computing systems, EVENT processing (Computer science)

ARITHMETISING LOGIC: POLYNOMIAL SEMANTICS OF FOL.

Authors: GABBAY, MURDOCH J.

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Oct2025, Vol. 12 Issue 6, p1481-1548, 68p

Subject Terms: FIRST-order logic, POLYNOMIALS, CRYPTOGRAPHY, MATHEMATICAL logic, LOGIC

A Compositional Theory of Linearizability.

Authors: Oliveira Vale, Arthur Shao, Zhong Chen, Yixuan

Source: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-107, 107p

Subject Terms: MATHEMATICAL category theory, PROGRAMMING languages, LANGUAGE research, SEMANTICS

Models of Possibilities Instead of Logic as the Basis of Human Reasoning.

Authors: Johnson-Laird, P. N. Byrne, Ruth M. J. Khemlani, Sangeet S.

Source: Minds & Machines; Sep2024, Vol. 34 Issue 3, p1-22, 22p

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Authors: Jasmin Blanchette Laura Kovács Dirk Pattinson

Resource Type: eBook.

Subjects: Automatic theorem proving--Congresses, Computer logic--Congresses

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

Enhancing Mathematical Knowledge Graphs with Large Language Models.

Authors: Lobo-Santos, Antonio Borrego-Díaz, Joaquín

Source: Modelling; Sep2025, Vol. 6 Issue 3, p53, 31p

Subject Terms: KNOWLEDGE graphs, LANGUAGE models, INFERENCE (Logic), KNOWLEDGE representation (Information theory), KNOWLEDGE management, INTELLIGENT tutoring systems