Search Results - Theory of computation Semantics and reasoning Program reasoning Abstraction

Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques

Authors: Prebet, Enguerrand Enguerrand Prebet

Contributors: Prebet, Enguerrand Enguerrand Prebet

Subject Terms: 2012 ACM Subject Classification Theory of computation → Semantics and reasoning, Call-by-value λ-calculus, π-calculus, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Pi Calculus, Bisimulation, ddc:004, Type System, Imperative programming, imperative Programming

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.130

Towards Representing Processes and Reasoning with Process Descriptions on the Web

Authors: Andreas Harth Tobias Käfer Anisa Rula et al.

Contributors: Andreas Harth Tobias Käfer Anisa Rula et al.

Source: Transactions on Graph Data and Knowledge, Vol 2, Iss 1, Pp 1:1-1:32 (2024)
Transactions on Graph Data and Knowledge, 2 (1)

Subject Terms: Applied computing → Business process modeling, ddc:330, Economics, process ontology, Temporal logic, QA75.5-76.95, Process ontology, Information systems → Semantic web description languages, web services, temporal logic, Applied computing → Event-driven architectures, Computing methodologies → Temporal reasoning, Electronic computers. Computer science, Theory of computation → Program semantics, Process modelling, ddc:004, process modelling, Computing methodologies → Ontology engineering, Web services

File Description: application/pdf

Access URL: https://doaj.org/article/ed74226a3e7a46faabe51358dc316174
https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.1

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

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)

What we mean when we say semantic: Toward a multidisciplinary semantic glossary.

Authors: Reilly J Shain C Borghesani V et al.

Source: Psychonomic bulletin & review [Psychon Bull Rev] 2025 Feb; Vol. 32 (1), pp. 243-280. Date of Electronic Publication: 2024 Sep 04.

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: Semantics* , Terminology as Topic*, Humans ; Psycholinguistics ; Concept Formation

Generically Automating Separation Logic by Functors, Homomorphisms, and Modules

Authors: Xu, Qiyuan Sanan, David Hou, Zhe et al.

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

Relation: Proceedings of the ACM on Programming Languages; Xu, Q; Sanan, D; Hou, Z; Luan, X; Watt, C; Liu, Y, Generically Automating Separation Logic by Functors, Homomorphisms, and Modules, Proceedings of the ACM on Programming Languages, 2025, 9 (POPL), pp. 67; https://hdl.handle.net/10072/435160

Availability: https://hdl.handle.net/10072/435160
https://doi.org/10.1145/3704903

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

Abstraction and analogy-making in artificial intelligence.

Authors: Mitchell M; Santa Fe Institute, Santa Fe, New Mexico.

Source: Annals of the New York Academy of Sciences [Ann N Y Acad Sci] 2021 Dec; Vol. 1505 (1), pp. 79-101. Date of Electronic Publication: 2021 Jun 25.

Publication Type: Journal Article; Research Support, U.S. Gov't, Non-P.H.S.; Review

Journal Info: Publisher: New York Academy of Sciences Country of Publication: United States NLM ID: 7506858 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1749-6632 (Electronic) Linking ISSN: 00778923 NLM ISO Abbreviation: Ann N Y Acad Sci Subsets: MEDLINE

MeSH Terms: Artificial Intelligence*/trends , Psychomotor Performance*/physiology , Semantics* , Thinking*/physiology, Pattern Recognition, Automated/*methods, Humans ; Pattern Recognition, Automated/trends

Mathematical Theory of Computation

Authors: STANFORD UNIV CA DEPT OF COMPUTER SCIENCE McCarthy, John

Source: DTIC AND NTIS

Index Terms: Computer Programming and Software, COMPUTER PROGRAMS, COMPUTATIONS, COMPUTER AIDED DESIGN, VERIFICATION, MODELS, REUSABLE EQUIPMENT, THEORY, COMPUTER PROGRAMMING, MUTATIONS, MATHEMATICS, LOGIC, MECHANICAL PROPERTIES, REASONING, SOFTWARE ENGINEERING, REUSABLE EQUIPMENT., Text

URL: https://apps.dtic.mil/docs/citations/ADA239419

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

Declarative Reasoning on Explanations Using Constraint Logic Programming

Authors: State, Laura Ruggieri, Salvatore Turini, Franco

Index Terms: Computer Science - Artificial Intelligence, Computer Science - Computers and Society, Computer Science - Machine Learning, Computer Science - Symbolic Computation, text

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

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)

Authors: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo et al.

Contributors: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo et al.

Subject Terms: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16

Contract as automaton: representing a simple financial agreement in computational form.

Authors: Flood, Mark D. Goodenough, Oliver R.

Source: Artificial Intelligence & Law; Sep2022, Vol. 30 Issue 3, p391-416, 26p

Subject Terms: LOAN agreements, CONTRACTS, REASONING, DETERMINISTIC processes, COUNTERPARTIES (Finance)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)

Authors: Goldstein, Oliver Kammar, Ohad

Index Terms: Computer Science - Programming Languages, Statistics - Computation, text

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

Hunting for Paradoxes: A Research Strategy for Cognitive Science.

Authors: Chater N; Behavioural Science Group, Warwick Business School.

Source: Topics in cognitive science [Top Cogn Sci] 2025 Jul; Vol. 17 (3), pp. 770-801. Date of Electronic Publication: 2025 Apr 01.

Publication Type: Journal Article

Journal Info: Publisher: Cognitive Science Society, Inc Country of Publication: United States NLM ID: 101506764 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1756-8765 (Electronic) Linking ISSN: 17568757 NLM ISO Abbreviation: Top Cogn Sci Subsets: MEDLINE

MeSH Terms: Cognitive Science*/methods , Thinking* , Research Design*, Humans

Mathematical Theory of Computation

Authors: McCarthy, John STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Contributors: McCarthy, John STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Source: DTIC AND NTIS

Subject Terms: Computer Programming and Software, COMPUTER PROGRAMS, COMPUTATIONS, COMPUTER AIDED DESIGN, VERIFICATION, MODELS, REUSABLE EQUIPMENT, THEORY, COMPUTER PROGRAMMING, MUTATIONS, MATHEMATICS, LOGIC, MECHANICAL PROPERTIES, REASONING, SOFTWARE ENGINEERING

File Description: text/html

Relation: http://www.dtic.mil/docs/citations/ADA239419

Availability: http://www.dtic.mil/docs/citations/ADA239419
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA239419

The Abstraction/Representation Account of Computation and Subjective Experience.

Authors: Szangolies, Jochen

Source: Minds & Machines; Jun2020, Vol. 30 Issue 2, p259-299, 41p, 3 Diagrams, 1 Chart

Subject Terms: REPRESENTATION theory, MENTAL representation, EXPERIENCE

On the Optimization of Iterative Programming with Distributed Data Collections

Authors: Chlyah, Sarah Gesbert, Nils Genevès, Pierre et al.

Contributors: Chlyah, Sarah Gesbert, Nils Genevès, Pierre et al.

Source: https://inria.hal.science/hal-02066649 ; 2022.

Subject Terms: optimization, rewrite rules, distributed data, fixpoint operator, Recursion, Software and its engineering, Distributed computing methodologies, Computing methodologies, Algebraic semantics, Theory of computation, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Availability: https://inria.hal.science/hal-02066649
https://inria.hal.science/hal-02066649v6/document
https://inria.hal.science/hal-02066649v6/file/paper.pdf

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

Semantic memory: A review of methods, models, and current challenges.

Authors: Kumar AA; Department of Psychological and Brain Sciences, Washington University in St. Louis, Campus Box 1125, One Brookings Drive, St. Louis, MO, 63130, USA. abhilasha.kumar@wustl.edu.

Source: Psychonomic bulletin & review [Psychon Bull Rev] 2021 Feb; Vol. 28 (1), pp. 40-80.

Publication Type: Journal Article; Review

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

MeSH Terms: Memory* , Models, Psychological* , Semantics*, Adult ; Humans