A New Semantics for Overriding in Description Logics (Extended Abstract)

Source URL: www.ijcai.org

A Discussion Game for Grounded Semantics Martin Caminada University of Aberdeen Abstract. We introduce an argument-based discussion game where the ability to win the game for a particular argument coincides with the argu

Source URL: homepages.abdn.ac.uk

KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018

Source URL: arxiv.org

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Procedural programming languages
• High-level programming languages
• Object-oriented programming
• Immutable object
• This
• Rust
• Const

(Re)defining biopharmaceutical Ronald A Rader Vested interests are redefining, rebranding and co-opting what is ‘biopharmaceutical’. This is not just a matter of semantics—the core identity of the biotech industry

Source URL: www.biopharma.com

A note on conditionals and restrictors Daniel Rothschild∗ Abstract Within linguistic semantics, it is near orthodoxy that the function of the word ‘if’ (in most cases) is to mark restrictions on quantification. Des

Source URL: danielrothschild.com

Pretty-Big-Step Semantics Arthur Charguéraud Inria Saclay – Île-de-France & LRI, Université Paris Sud, CNRS Abstract. In spite of the popularity of small-step semantics, big-step

Source URL: www.chargueraud.org

(Re)defining biopharmaceutical Ronald A Rader Vested interests are redefining, rebranding and co-opting what is ‘biopharmaceutical’. This is not just a matter of semantics—the core identity of the biotech industry

Source URL: www.biopharma.com

The Semantics–Pragmatics Interface: An Empirical Investigation Igor Douven Sciences, Normes, Décision (CNRS) Paris-Sorbonne University

Source URL: karolinakrzyzanowska.com

On the Ontological Modeling of Trees David Carral1 , Pascal Hitzler2 , Hilmar Lapp3 , and Sebastian Rudolph1 1 TU Dresden, Germany Data Semantics (DaSe) Laboratory, Wright State University, OH, USA

Source URL: iccl.inf.tu-dresden.de

Indexical Predicates Daniel Rothschild and Gabriel Segal Truth-conditional semantics is the project of determining a way of assigning truth-conditions to sentences based on A) the extension of their constituents and B) t

Source URL: danielrothschild.com