Results 31 to 40 of about 1,063 (62)

The I in logic

Theoria, EarlyView.
Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley   +1 more source

Keeping calm in the face of change: towards optimisation of FRP by reasoning about change [PDF]

, 2010
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals (time-varying values).
A. Benveniste, A. Courtney, A. Courtney, B. Nordstrom, C. Elliott, C. Elliott, E.A. Lee, G. Berry, G. Giorgidze, G. Giorgidze, G. Patai, G. Patai, G.H. Cooper, H. Liu, H. Nilsson, H. Nilsson, H. Nilsson, Henrik Nilsson, J. Peterson, J.L. Colaço, K. Burchett, M. Huth, N. Halbwachs, N. Halbwachs, N. Halbwachs, N. Sculthorpe, N. Sculthorpe, Neil Sculthorpe, P. Caspi, R. Paterson, T.A. Henzinger, W. Jeltsch, Y. Venema, Z. Wan   +33 more
core   +1 more source

Winged horses, rascals and discourse referents

Theoria, EarlyView.
Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley   +1 more source

Where Mathematical Symbols Come From

Topics in Cognitive Science, EarlyView.
Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley   +1 more source

Conjoined Comparison and Variation in Degree Semantics

Language and Linguistics Compass, Volume 19, Issue 4, July/August 2025.
ABSTRACT Conjoined comparisons, consisting of two clauses containing antonymous or positive‐negative predicate pairs, are among the most common comparison construction types in the world's languages. As research on degree constructions from a cross‐linguistic perspective has increased, so too has the number of studies focused on conjoined comparisons ...
M. Ryan Bochnak
wiley   +1 more source

A Fair Power Domain for Actor Computations [PDF]

, 1979
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Office of Naval Research of the ...
Clinger, Will
core  

Designing equivalent semantic models for process creation [PDF]

, 1986
Operational and denotational semantic models are designed for languages with process creation, and the relationships between the two semantics are investigated.
America, P.H.M. (Pierre), Bakker, J.W. (Jaco) de   +1 more
core   +1 more source

Leveraging Context for Perceptual Prediction Using Word Embeddings

Cognitive Science, Volume 49, Issue 6, June 2025.
Abstract Word embeddings derived from large language corpora have been successfully used in cognitive science and artificial intelligence to represent linguistic meaning. However, there is continued debate as to how well they encode useful information about the perceptual qualities of concepts.
Georgia‐Ann Carter, Frank Keller, Paul Hoffman   +2 more
wiley   +1 more source

Weaving Concurrency in eXecutable Domain-Specific Modeling Languages [PDF]

, 2015
International audienceThe emergence of modern concurrent systems (e.g., Cyber-Physical Systems or the Internet of Things) and highly-parallel platforms (e.g., many-core, GPGPU pipelines, and distributed platforms) calls for Domain-Specific Modeling ...
Agha G. A., Antoni J. De, Armstrong J., Bettini L., C. A., Combemale B., Cook S., De Antoni J., Fredlund L.-a., Gupta M., Lee E. A., Luoma J., Mayerhofer T., Plotkin G. D., Ptolemaeus C., Rosu G.   +15 more
core   +3 more sources

How the Rejection of Incompatible Speech Acts Transforms Human Cognition

European Journal of Philosophy, Volume 33, Issue 2, Page 514-530, June 2025.
Abstract Engaging with the literature on transformative conceptions of rationality, I argue for the following position on the way reason transforms human cognition: when the capacity for knowing that one ought to do something is directed at one's own speech acts, an initially domain‐specific and practical grasp of genus/species relations – manifest in ...
Preston Stovall
wiley   +1 more source