Suchergebnisse - Theory of computation Semantics and reasoning Program reasoning Program specifications

Towards Representing Processes and Reasoning with Process Descriptions on the Web

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

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

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autoren: Din, Crystal Hähnle, Reiner Henrio, Ludovic et al.

Weitere Verfasser: Din, Crystal Hähnle, Reiner Henrio, Ludovic et al.

Quelle: ACM Transactions on Programming Languages and Systems

Schlagwörter: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

Modular, compositional, and executable formal semantics for LLVM IR

Autoren: Yannick Zakowski Calvin Beck Irene Yoon et al.

Weitere Verfasser: Yannick Zakowski Calvin Beck Irene Yoon et al.

Quelle: Proceedings of the ACM on Programming Languages. 5:1-30

Schlagwörter: Denotational semantics, Monads, Verified Compilation, Compilers, Program verification, LLVM, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Coq, 02 engineering and technology, Semantics, Theory of computation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Dateibeschreibung: application/pdf

Zugangs-URL: https://dl.acm.org/doi/pdf/10.1145/3473572
https://hal.science/hal-03525711v1
https://hal.science/hal-03525711v1/document
https://doi.org/10.1145/3473572
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#ZakowskiBYZZZ21
https://dl.acm.org/doi/pdf/10.1145/3473572
https://dl.acm.org/doi/10.1145/3473572

Evolutionary Trajectories of Consciousness: From Biological Foundations to Technological Horizons.

Autoren: Gusev, Evgenii Sarapultsev, Alexey Komelkova, Maria

Quelle: Brain Sciences (2076-3425); Jul2025, Vol. 15 Issue 7, p734, 45p

Schlagwörter: CONSCIOUSNESS, SUBJECTIVITY, INFORMATION networks, HUMAN evolution, COMPUTATIONAL neuroscience, LIFE sciences, INFORMATION theory

When nomenclature matters: Is the "new paradigm" really a new paradigm for the psychology of reasoning?

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

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

Schlagwörter: MENTAL models theory (Communication), PSYCHOLOGY, CONTINUITY, PROBABILITY theory, LOGIC

Emotion, Motivation, Reasoning, and How Their Brain Systems Are Related.

Autoren: Rolls, Edmund T.

Quelle: Brain Sciences (2076-3425); May2025, Vol. 15 Issue 5, p507, 52p

Schlagwörter: REWARD (Psychology), EMOTIONS, PREFRONTAL cortex, ACTION theory (Psychology), CINGULATE cortex, EMOTIONAL state

Quantifying artificial intelligence through algorithmic generalization.

Autoren: Ito, Takuya Campbell, Murray Horesh, Lior et al.

Quelle: Nature Machine Intelligence; Aug2025, Vol. 7 Issue 8, p1195-1205, 11p

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

Autoren: Özçep, Özgür L. Leemhuis, Mena Winkler, Maximilian et al.

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

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

Fulminate: Testing CN Separation-Logic Specifications in C

Autoren: Banerjee, Rini Memarian, Kayvan Makwana, Dhruv et al.

Index Begriffe: 4613 Theory Of Computation, 46 Information and Computing Sciences, 4612 Software Engineering, Article

URL: https://www.repository.cam.ac.uk/handle/1810/377338

The Social Grammar(s) of Future-Making.

Autoren: Walter, Timo

Quelle: Sociological Theory; Dec2025, Vol. 43 Issue 4, p335-359, 25p

Schlagwörter: FUTURES studies, SOCIAL interaction, SOCIAL theory, SITUATED learning theory, CONTEXTUALISM (Philosophy), SOCIAL intelligence, INDEXICALS (Semantics)

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Autoren: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. et al.

Quelle: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Schlagwörter: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

Goals as reward-producing programs.

Autoren: Davidson, Guy Todd, Graham Togelius, Julian et al.

Quelle: Nature Machine Intelligence; Feb2025, Vol. 7 Issue 2, p205-220, 16p

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.

Autoren: Yordanov, Boyan Dunn, Sara-jane Gravill, Colin et al.

Quelle: Journal of Computational Biology; Sep2023, Vol. 30 Issue 9, p1046-1058, 13p

General educators' perceptions of struggling learners in an inaugural project-based learning Capstone.

Autoren: Park, Haerin Scanlon, David

Quelle: International Journal of Inclusive Education; Sep2025, Vol. 29 Issue 11, p1875-1903, 29p

Schlagwörter: PROJECT method in teaching, INCLUSIVE education, ACADEMIC underachievement, ACADEMIC support programs, THEMATIC analysis, TEACHER attitudes, MIDDLE school education, ACADEMIC motivation

Analogical reasoning during hypothesis generation: the effects of object and domain similarities on access and transfer.

Autoren: Rivas, Leandro E. Trench, Máximo

Quelle: Thinking & Reasoning; May2025, Vol. 31 Issue 2, p158-182, 25p

Schlagwörter: COMPUTER simulation, ANALOGY, EXPLANATION, HYPOTHESIS

Bayesian estimation in veterinary pharmacology: A conceptual and practical introduction.

Autoren: Woodward, Andrew P.¹ (AUTHOR) andrew.woodward@canberra.edu.au

Quelle: Journal of Veterinary Pharmacology & Therapeutics. Jul2024, Vol. 47 Issue 4, p322-352. 31p.

A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

Autoren: Li, Shenglin Erickson, Caleb Zajac, Michal et al.

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

Schlagwörter: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

How Do Channel Network Expansions and Retractions Affect the Shape of Hillslope Flowpath Length Distributions?

Autoren: Botter, Gianluca Cenzon, Alessandro Durighetto, Nicola

Quelle: Water Resources Research; Aug2025, Vol. 61 Issue 8, p1-20, 20p

Schlagwörter: HYDROLOGICAL research, GEOMORPHOLOGY, STREAM channelization, ARC length, GEOPHYSICAL observations, PROBABILITY density function, WATERSHEDS, SCIENTIFIC method

Representing and solving spatial problems.

Autoren: Santos, Paulo E. Cabalar, Pedro Falomir, Zoe et al.

Quelle: Spatial Cognition & Computation; 2025, Vol. 25 Issue 1, p1-14, 14p

On Giving Meanings to Programs.

Autoren: Cardone, Felice

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