Search Results - Semantics in the theory of computing

The Mathematical Theory of Semantic Communication

Authors: Kai Niu Ping Zhang

Resource Type: eBook.

Subjects: Semantic computing--Mathematics, Telecommunication

Categories: COMPUTERS / Information Theory

Synthesizing event semantics for geographical entity representation.

Authors: Li, Shengwen Liu, Kaiyue Chen, Renyao et al.

Source: International Journal of Geographical Information Science. Dec2025, Vol. 39 Issue 12, p2839-2861. 23p.

Subject Terms: *Knowledge representation (Information theory), *Semantics, *Machine learning, *Encoding, Context-aware computing, Spatial data structures

A Kripke-Lewis semantics for belief update and belief revision

Authors: Bonanno, Giacomo

Subject Terms: Information and Computing Sciences, Artificial Intelligence, Belief revision, Belief update, Conditional, Belief relation, Selection function, Supposition, Information, Learning, Artificial Intelligence and Image Processing, Computation Theory and Mathematics, Cognitive Sciences, Artificial Intelligence & Image Processing, Artificial intelligence, Computer vision and multimedia computation, Machine learning

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/31t085hn
https://escholarship.org/content/qt31t085hn/qt31t085hn.pdf

Semantic Systems. In the Era of Knowledge Graphs

Authors: Eva Blomqvist Paul Groth Victor de Boer et al.

Resource Type: eBook.

Subjects: Semantic Web--Congresses, Knowledge representation (Information theory)--Congresses, Semantic computing--Congresses, Linked data--Congresses

Categories: COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Hardware / General

Computing with Functionals: Computability Theory or Computer Science?

Authors: Normann, Dag

Source: The Bulletin of Symbolic Logic, 2006 Mar 01. 12(1), 43-59.

Access URL: https://www.jstor.org/stable/3515884

Interpolation in Computing Science: The Semantics of Modularization

Authors: de Lavalette, Gerard R. Renardel

Source: Synthese, 2008 Oct 01. 164(3), 437-450.

Access URL: https://www.jstor.org/stable/40271082

A Logical Approach to Type Soundness: A logical approach to type soundness

Authors: Amin Timany Robbert Krebbers Derek Dreyer et al.

Source: Journal of the Association for Computing Machinery, 71, 6, pp. 1-75
Timany, A, Krebbers, R, Dreyer, D & Birkedal, L 2024, 'A Logical Approach to Type Soundness', Journal of the ACM, vol. 71, no. 6, 40. https://doi.org/10.1145/3676954

Subject Terms: Logic in computer science, Type soundness, Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Theory of programming languages, Semantics in the theory of computing, Iris, type soundness, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, logical relations, Formalization of mathematics in connection with theorem provers, Software Science, data abstraction, 0202 electrical engineering, electronic engineering, information engineering, Coq, step-indexing, concurrent separation logic

File Description: application/xml

Access URL: https://zbmath.org/8030807
https://doi.org/10.1145/3676954
https://hdl.handle.net/https://repository.ubn.ru.nl/handle/2066/312783
https://doi.org/10.1145/3676954
https://hdl.handle.net/2066/312783
https://repository.ubn.ru.nl//bitstream/handle/2066/312783/312783.pdf
https://pure.au.dk/portal/en/publications/6c1d3054-690e-429f-8d9e-527c436f14b6
http://www.scopus.com/inward/record.url?scp=85212245880&partnerID=8YFLogxK
https://doi.org/10.1145/3676954

Reusing Postmodern Heritage: How Literary Theories Can Help
Reconvertir le patrimoine post-moderniste : l'apport des théories littéraires

Authors: Coq, Maxime Houbart, Claudine AAP - Art, Archéologie et Patrimoine - ULiège

Contributors: Coq, Maxime Houbart, Claudine AAP - Art, Archéologie et Patrimoine - ULiège

Source: Les Cahiers de la Recherche Architecturale, Urbaine et Paysagère, 21 (2024-12)

Subject Terms: postmodern heritage, literary theories, intertextuality, semantics, archutectural borrowings, Arts & humanities, Art & art history, Engineering, computing & technology, Architecture, Arts & sciences humaines, Art & histoire de l’art, Ingénierie, informatique & technologie

Relation: http://journals.openedition.org/craup/15504; urn:issn:2606-7498

Access URL: https://orbi.uliege.be/handle/2268/325406

Methods of Calculating Prediction Error Variance and Prediction Accuracy for Restricted Best Linear Unbiased Prediction of Breeding Values.

Authors: Satoh, Masahiro¹ (AUTHOR) masahiro.satoh.d5@tohoku.ac.jp

Source: Journal of Animal Breeding & Genetics. Jul2025, Vol. 142 Issue 4, p363-372. 10p.

Subjects: Prediction algorithms, Estimation theory, Statistical models, Mathematical statistics, Statistical measurement, Heritability, Selection bias (Statistics), Phenotypes

From LTL to rLTL monitoring: improved monitorability through robust semantics

Authors: Mascle, Corto Neider, Daniel Schwenger, Maximilian et al.

Source: Formal Methods in System Design. 59(1-3)

Subject Terms: Runtime monitoring, Robust Linear Temporal Logic, Computation Theory and Mathematics, Computer Software, Distributed Computing, Electrical & Electronic Engineering

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/3zw1858p
https://escholarship.org/content/qt3zw1858p/qt3zw1858p.pdf

On the Problem of Computing the Well-Founded Semantics: On the problem of computing the well-founded semantics

Authors: Miroslaw Truszczynski Zbigniew Lonc

Source: Lecture Notes in Computer Science ISBN: 9783540677970

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, Computer Science - Artificial Intelligence, Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, Logic programming, F.2.2, 01 natural sciences, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), alternating fixpoint, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS)

File Description: application/xml

Access URL: http://arxiv.org/abs/cs/0101014
https://zbmath.org/2048618
https://doi.org/10.1017/s1471068401001053
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068401001053
https://doi.org/10.1017/S1471068401001053
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/on-the-problem-of-computing-the-wellfounded-semantics/05E37FBBA6A2F92C59776125DE43948A
https://dblp.uni-trier.de/db/journals/tplp/tplp1.html#LoncT01
https://link.springer.com/content/pdf/10.1007%2F3-540-44957-4_45.pdf
https://arxiv.org/abs/cs.LO/0101014
https://rd.springer.com/chapter/10.1007/3-540-44957-4_45
https://dblp.uni-trier.de/db/conf/cl/cl2000.html#LoncT00
https://link.springer.com/chapter/10.1007%2F3-540-44957-4_45

Erratic Fudgets: a semantic theory for an embedded coordination language: Erratic Fudgets: A semantic theory for an embedded coordination language

Authors: Magnus Carlsson Andrew Moran David Sands

Source: Lecture Notes in Computer Science ISBN: 9783540658368

Subject Terms: constructive type theory, Haskell, Theory of programming languages, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Functional programming and lambda calculus, 01 natural sciences, Software

File Description: application/xml

Access URL: https://zbmath.org/1910208
https://doi.org/10.1016/s0167-6423(02)00088-6
https://link.springer.com/chapter/10.1007/3-540-48919-3_8
https://link.springer.com/content/pdf/10.1007%2F3-540-48919-3_8.pdf
https://rd.springer.com/chapter/10.1007/3-540-48919-3_8
http://core.ac.uk/display/23270424
https://dblp.uni-trier.de/db/conf/coordination/coordination1999.html#MoranSC99

A Proximity and Semantic-Aware Optimisation Model for Sub-Domain-Based Decentralised Resource Discovery in Grid Computing.

Authors: Shaikh, Abdul Khalique Alhashmi, Saadat M. Parthiban, Rajendran

Source: Journal of Information & Knowledge Management. Jun2016, Vol. 15 Issue 2, p-1. 25p.

Subject Terms: *Semantics, *Information theory, Resource management, Grid computing, Probability theory

A semantic theory for value-passing processes based on the late approach

Authors: Ingolfsdottir, Anna

Source: Ingolfsdottir, A 2003, 'A semantic theory for value-passing processes based on the late approach', Information and Computation, vol. 184, no. 1, pp. 1-44. < http://dx.doi.org/10.1016/S0890-5401(03)00052-X >
Ingolfsdottir, A 2003, ' A semantic theory for value-passing processes based on the late approach ', Information and Computation, vol. 184, no. 1, pp. 1-44 . < http://dx.doi.org/10.1016/S0890-5401(03)00052-X >

Subject Terms: Computational Theory and Mathematics, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Information Systems, Computer Science Applications

File Description: application/xml

Access URL: https://tidsskrift.dk/brics/article/download/21785/19216
https://vbn.aau.dk/da/publications/a-semantic-theory-for-value-passing-processes-based-on-the-late-a
https://dblp.uni-trier.de/db/journals/iandc/iandc184.html#Ingolfsdottir03
https://www.sciencedirect.com/science/article/pii/S089054010300052X
https://tidsskrift.dk/brics/article/download/21785/19216
https://core.ac.uk/display/21223967
https://tidsskrift.dk/brics/article/view/21785

On higher-order communication in ambient calculi

Authors: Xian Xu Yan Huang Zhihuan Yao

Source: Mathematical Structures in Computer Science. 35

Subject Terms: higher-order communication, bisimulation, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, labeled transition system, ambient calculus

File Description: application/xml

Access URL: https://zbmath.org/8030886
https://doi.org/10.1017/s0960129525000015

A theory of mixin modules: algebraic laws and reduction semantics: A theory of mixin modules: Algebraic laws and reduction semantics

Authors: ANCONA, DAVIDE ZUCCA, ELENA

Source: Mathematical Structures in Computer Science. 12:701-737

Subject Terms: Categorical semantics of formal languages, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, denotational semantics

File Description: application/xml

Access URL: https://dialnet.unirioja.es/servlet/articulo?codigo=683315
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/theory-of-mixin-modules-algebraic-laws-and-reduction-semantics/60278986741938C2CECDABE40B41BFD1
https://dblp.uni-trier.de/db/journals/mscs/mscs12.html#AnconaZ02
https://hdl.handle.net/11567/248387

Computing in unpredictable environments: semantics, reduction strategies, and program transformations

Authors: Björn Lisper

Source: Lecture Notes in Computer Science ISBN: 9783540610649

Subject Terms: Recursive program schemes, nondeterminism, formal semantics, program transformations, Semantics in the theory of computing, Reduction systems, Formal languages and automata, 0102 computer and information sciences, 02 engineering and technology, reduction systems, Formal semantics, 01 natural sciences, Theoretical Computer Science, Program transformations, 0202 electrical engineering, electronic engineering, information engineering, Nondeterminism, recursive program schemes, Computer Science(all)

File Description: application/xml

Access URL: http://ri.diva-portal.org/smash/get/diva2:1041434/FULLTEXT01
https://zbmath.org/1170162
https://doi.org/10.1016/s0304-3975(97)00084-4
https://rd.springer.com/chapter/10.1007/3-540-61064-2_36
https://dblp.uni-trier.de/db/conf/caap/caap96.html#Lisper96
https://link.springer.com/chapter/10.1007%2F3-540-61064-2_36
https://dblp.uni-trier.de/db/journals/tcs/tcs190.html#Lisper98
https://www.sciencedirect.com/science/article/pii/S0304397597000844
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1041434

Solutions of the Yang–Baxter Equation and Automaticity Related to Kronecker Modules.

Authors: Cañadas, Agustín Moreno Fernández Espinosa, Pedro Fernando Ballester-Bolinches, Adolfo

Source: Computation; Mar2023, Vol. 11 Issue 3, p43, 17p

Subject Terms: YANG-Baxter equation, NONASSOCIATIVE algebras, DIFFERENTIAL forms, QUANTUM computing, KNOT theory, CONTINUED fractions, INDECOMPOSABLE modules, QUANTUM groups

Category theory for operational semantics

Authors: LENISA, Marina POWER J. WATANABE H.

Source: Theoretical Computer Science. 327:135-154

Subject Terms: Categorical semantics of formal languages, Abstract operational semantics, Initial/final semantics, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Distributive law, 01 natural sciences, GSOS-rule, Theoretical Computer Science, Computer Science(all)

File Description: application/xml; application/pdf

Access URL: https://core.ac.uk/display/53323726
https://dl.acm.org/doi/abs/10.1016/j.tcs.2004.07.024
https://users.dimi.uniud.it/~marina.lenisa/Papers/Soft-copy-pdf/tcs04.pdf
https://www.sciencedirect.com/science/article/pii/S0304397504004463
http://opus.bath.ac.uk/5466/
https://researchportal.bath.ac.uk/en/publications/category-theory-for-operational-semantics
https://hdl.handle.net/11390/689801
https://doi.org/10.1016/j.tcs.2004.07.024

sL-approximation spaces capture sL-domains

Authors: Guojun Wu Luoshan Xu Wei Yao

Source: Mathematical Structures in Computer Science. 35

Subject Terms: Continuous lattices and posets, applications, upper approximation operator, Semantics in the theory of computing, L-domain, sL-domain, sL-approximation space, Reasoning under uncertainty in the context of artificial intelligence, categorical equivalence

File Description: application/xml