Výsledky vyhledávání - Theory of computation Semantics AND reasoning Program reasoning Assertions*

On the Interpretation of Denotational Semantics.

Autoři: Cardone, Felice

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

Témata: 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?

Autoři: Knauff, Markus Gazzo Castañeda, Lupita Estefania

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

Témata: MENTAL models theory (Communication), PSYCHOLOGY, CONTINUITY, PROBABILITY theory, LOGIC

CoqQ: Foundational Verification of Quantum Programs

Autoři: Zhou, L Barthe, G Strub, PY a další

Témata: 4612 Software engineering, 4613 Theory of computation, 4903 Numerical and computational mathematics

Popis souboru: 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

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

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

Autoři: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt

Resource Type: eBook.

Témata: 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.

Autoři: Li, Shenglin Erickson, Caleb Zajac, Michal a další

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

Témata: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Critical Computation: Digital Automata and General Artificial Thinking.

Autoři: Parisi, Luciana

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

Témata: 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.

Autoři: Baker, Janet M. Cariani, Peter

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

Témata: TELECOMMUNICATION systems, ASSOCIATIVE storage, DELAY lines, COMMUNICATION models, TEMPORARY stores, MOTOR learning

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

Autoři: Frödin, Olle

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

Témata: COGNITION, CULTURE, COGNITIVE psychology, ONTOLOGY, EXPRESSIVE language, VERSTEHEN

Plausibility and Early Theory in Linguistics and Cognitive Science.

Autoři: 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.

Autoři: FOUQUERÉ, CHRISTOPHE QUATRINI, MYRIAM

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

Témata: GAME theory, JUDGMENT (Logic), REASONING, DECISION theory, DEBATE, SEMANTICS (Philosophy)

Relational Program Reasoning Using Compiler IR.

Autoři: Kiefer, Moritz Klebanov, Vladimir Ulbrich, Mattias

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

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

Autoři: Rienstra, Tjitze van der Torre, Leendert Yu, Liuwen

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

Témata: 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.

Autoři: Dobreva, Jovana Simjanoska Misheva, Monika Mishev, Kostadin a další

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

Témata: 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.

Autoři: Abrahamson, Dor

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

Témata: CASE studies, REASONING, INTUITION, CHILD psychology, COGNITIVE ability, ACTIVITY programs in education

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

Autoři: CALIMERI, FRANCESCO IANNI, GIOVAMBATTISTA PACENZA, FRANCESCO a další

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

Témata: KNOWLEDGE representation (Information theory), LOGIC programming, ADAPTIVE computing systems, EVENT processing (Computer science)

ARITHMETISING LOGIC: POLYNOMIAL SEMANTICS OF FOL.

Autoři: GABBAY, MURDOCH J.

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

Témata: FIRST-order logic, POLYNOMIALS, CRYPTOGRAPHY, MATHEMATICAL logic, LOGIC

A Compositional Theory of Linearizability.

Autoři: Oliveira Vale, Arthur Shao, Zhong Chen, Yixuan

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

Témata: MATHEMATICAL category theory, PROGRAMMING languages, LANGUAGE research, SEMANTICS

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

Autoři: Johnson-Laird, P. N. Byrne, Ruth M. J. Khemlani, Sangeet S.

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

Autoři: Jasmin Blanchette Laura Kovács Dirk Pattinson

Resource Type: eBook.

Témata: 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.

Autoři: Lobo-Santos, Antonio Borrego-Díaz, Joaquín

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

Témata: KNOWLEDGE graphs, LANGUAGE models, INFERENCE (Logic), KNOWLEDGE representation (Information theory), KNOWLEDGE management, INTELLIGENT tutoring systems