Search Results - Theory of computation Semantics and reasoning Program reasoning Invariants*

An overview of the quantum cognition research program.

Authors: Huang J Epping G Trueblood JS et al.

Source: Psychonomic bulletin & review [Psychon Bull Rev] 2025 Dec; Vol. 32 (6), pp. 2507-2556. Date of Electronic Publication: 2025 Jul 03.

Publication Type: Journal Article; Review

Journal Info: Publisher: Springer] Country of Publication: United States NLM ID: 9502924 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1531-5320 (Electronic) Linking ISSN: 10699384 NLM ISO Abbreviation: Psychon Bull Rev Subsets: MEDLINE

MeSH Terms: Quantum Theory* , Cognition* , Models, Psychological* , Probability Theory*, Humans ; Decision Making ; Judgment

Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)

Authors: Kovács, Laura Laura Kovács

Contributors: Kovács, Laura Laura Kovács

Subject Terms: Symbolic Computation, Formal Methods, Loop Analysis, Polynomial Invariants

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.4

Availability: https://doi.org/10.4230/LIPIcs.MFCS.2023.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-185385
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.4

Reasoning About TSO Programs Using Reduction and Abstraction

Authors: Bouajjani, Ahmed Enea, Constantin Mutluergil, Suha Orhun et al.

Index Terms: Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/1804.05196

Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)

Authors: Laura Kovács Kovács, Laura

Index Terms: Symbolic Computation, Formal Methods, Loop Analysis, Polynomial Invariants, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.4
Is Part Of LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

Trace Logic for Inductive Loop Reasoning

Authors: Georgiou, Pamina Gleiss, Bernhard Kovács, Laura

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation, text

URL: http://arxiv.org/abs/2008.01387

Fast inference of polynomial invariants for imperative programs

Authors: Cachera, David Jensen, Thomas Jobin, Arnaud et al.

Contributors: Cachera, David Jensen, Thomas Jobin, Arnaud et al.

Source: https://inria.hal.science/inria-00595783 ; [Research Report] RR-7627, INRIA. 2011, pp.31.

Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Availability: https://inria.hal.science/inria-00595783
https://inria.hal.science/inria-00595783v1/document
https://inria.hal.science/inria-00595783v1/file/RR-7627.pdf

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 Mathematical Model for Universal Semantics.

Authors: E, Weinan Zhou, Yajun

Source: IEEE Transactions on Pattern Analysis & Machine Intelligence; Mar2022, Vol. 44 Issue 3, p1124-1132, 9p

Subject Terms: MATHEMATICAL models, MARKOV processes, MATHEMATICAL analysis, SEMANTICS, SOURCE code, DISTRIBUTION (Probability theory)

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

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

On Giving Meanings to Programs.

Authors: Cardone, Felice

Source: Axiomathes: Global Philosophy; Feb2023, Vol. 33 Issue 1, p1-22, 22p

Redefining cognitive neurodynamics through transdisciplinary innovation.

Authors: Villa, Alessandro E. P.

Source: Cognitive Neurodynamics; 9/5/2025, Vol. 19 Issue 1, p1-12, 12p

Empirical Evaluation of Invariances in Deep Vision Models.

Authors: Keremis, Konstantinos Vrochidou, Eleni Papakostas, George A.

Source: Journal of Imaging; Sep2025, Vol. 11 Issue 9, p322, 40p

Bounded rationality: from fast and frugal heuristics to logic programming and back.

Authors: Vargas, Francisco Martignon, Laura Stenning, Keith

Source: Mind & Society; Nov2023, Vol. 22 Issue 1/2, p33-51, 19p

Subject Terms: LOGIC programming, BOUNDED rationality, HEURISTIC, NONMONOTONIC logic, DECISION making

The role of diagram materiality in mathematics.

Authors: Steensen, Anna Kiel Johansen, Mikkel Willum

Source: Cognitive Semiotics; Nov2016, Vol. 9 Issue 2, p183-201, 19p

Subject Terms: SEMIOTICS, SEMANTICS, HISTORY of mathematics, REASONING, THOUGHT & thinking

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

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Authors: Parosh Aziz Abdulla Delia Kesner

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

The Clay Millennium Problems as Recursive System Attractors

Authors: Kulik, Dean

Large Language Models and Human Cognition: An Optimistic Perspective.

Authors: Blais, Antoine

Source: Journal of Cognitive Science; Mar2025, Vol. 26 Issue 1, p1-44, 44p

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Authors: Naoki Kobayashi James Worrell

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic