scholarly journals Compositional Semantics for Probabilistic Programs with Exact Conditioning

Author(s):  
Dario Stein ◽  
Sam Staton
Author(s):  
Michael Glanzberg

This chapter examines how concepts relate to lexical meanings. It focuses on how we can appeal to concepts to give specific, cognitively rich contents to lexical entries, while at the same time using standard methods of compositional semantics. This is a problem, as those methods assume lexical meanings provide extensions, while concepts are mental representations that have very different structure from an extension. The chapter proposes a way to solve this problem which is by casting concepts in a metasemantic role for certain expressions, notably verbs, but more also generally, with expressions that function as content-giving predicates in a sentence.


2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Martin Avanzini ◽  
Georg Moser ◽  
Michael Schaper

2018 ◽  
Vol 53 (4) ◽  
pp. 571-585 ◽  
Author(s):  
Marco Cusumano-Towner ◽  
Benjamin Bichsel ◽  
Timon Gehr ◽  
Martin Vechev ◽  
Vikash K. Mansinghka

2017 ◽  
Vol 1 (ICFP) ◽  
pp. 1-25 ◽  
Author(s):  
Praveen Narayanan ◽  
Chung-chieh Shan

1990 ◽  
Vol 13 (2) ◽  
pp. 141-170
Author(s):  
Andrea Maggiolo-Schettini ◽  
Józef Winkowski

Timed Petri nets and their behaviours are considered. A concept of a seminet is introduced. which generalizes the concept of a net, and suitable operations on seminets are defined, which allow constructing seminets from atoms corresponding to places and transitions. The behaviours of seminets are given in the form of so called configuration systems, a notion close to labelled event structures. Such behaviours can be combined with the aid of operations corresponding to those on seminets. In particular, the behaviour of a compound seminet can be obtained by combining the behaviours of components.


2014 ◽  
Vol 49 (9) ◽  
pp. 109-122
Author(s):  
Paul Downen ◽  
Zena M. Ariola

Sign in / Sign up

Export Citation Format

Share Document