From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “semantics” 122

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

ReFRAME or Remain: Unsupervised Lexical Semantic Change Detection with Frame Semantics
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Bach Phan-Tat, Kris Heylen, Dirk Geeraerts, Stefano De Pascale, Dirk Speelman

0

citations
Logics with Multiteam Semantics
2020 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
Probabilistic Query Evaluation with Bag Semantics
2022 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Peter Lindner, Christoph Standke

1

citations
Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
2026 arXiv (Cornell University) preprint Computer Science Digital Rights Management and Security Open access

Daham Mohammed Mustafa, Diego Collarana, Sabrina Kirrane, Christoph Lange, Christoph Quix, Rafiqul Haque, +2 more

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Ehrenfeucht-Fraïssé Games in Semiring Semantics
2023 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Sophie Brinke, Erich Grädel, Lovro Mrkonjić

0

citations
Locality Theorems in Semiring Semantics
2023 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Clotilde Bizière, Erich Grädel, Matthias Naaf

0

citations
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
2022 RWTH Publications (RWTH Aachen) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Hayyan Helal, Matthias Naaf

2

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Val Tannen

1

citations
Sort-Stratified Semantics for Temporal Conflict Detection in ODRL Policies
2026 arXiv (Cornell University) preprint Computer Science Digital Rights Management and Security Open access

Daham Mohammed Mustafa, Diego Collarana, Sabrina Kirrane, Christoph Lange, Christoph Quix, Sandra Geisler, +2 more

0

citations
Quantum Programming with Inductive Datatypes
2020 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

3

citations
Bayesian Inference in Quantum Programs
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
Generative Datalog with Continuous Distributions
2020 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

0

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
Word-Emoji Embeddings from large scale Messaging Data reflect real-world Semantic Associations of Expressive Icons
2020 arXiv (Cornell University) preprint Computer Science Digital Communication and Language Open access

Jens Helge Reelfs, Oliver Hohlfeld, Markus Strohmaier, Niklas Henckell

2

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen

1

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Independence in Infinite Probabilistic Databases
2020 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Peter Lindner

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Exact Probabilistic Inference Using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Joost-Pieter Katoen

1

citations
Quantum Physics using Weighted Model Counting
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Joon‐Hyung Lee, Alfons Laarman

1

citations
What Makes a Good Semantic ID for Generative Recommendation? A Reproducibility Study
2026 arXiv (Cornell University) preprint Computer Science Recommender Systems and Techniques Open access

Yufei Chen, Junchen Fu, Jujia Zhao, Yukun Zhao, Zhaochun Ren

0

citations
Exploiting Emotion-Semantic Correlations for Empathetic Response Generation
2024 arXiv (Cornell University) preprint Computer Science Speech and dialogue systems Open access

Zhou Yang, Zhaochun Ren, Yufeng Wang, Xiaofei Zhu, Zhihao Chen, Yunbing Wu, +3 more

1

citations
Minimizing Quantized Semantic Age of Information (QSAoI) in Foundation Model-Based Semantic Communications
2026 arXiv (Cornell University) preprint Computer Science Age of Information Optimization Open access

Huanyu Zhang, Yulin Hu, Xiaopeng Yuan, Aydin Sezgin, Anke Schmeink

0

citations