Results 141 to 150 of about 4,264 (168)

Fundamentals of agent computation theory: semantics.

2001
© 2011 Dr. David Nicholas Kinny ; About 5 years ago, the idea of software agents escaped from an obscure existence within the arcane field of Artificial Intelligence, and it is now running rampant through computer science, the software industry and the media, mutating violently as it goes and infecting many who come into contact with it. Despite humble
openaire   +1 more source

A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, 1999
A multi-stage computation is one involving more than one stage of execution. MetaML is a language for programming multi-stage computations. Previous studies presented big-step semantics, categorical semantics, and sound type systems for MetaML. In this paper, we report on a confluent and sound reduction semantics for untyped call-by name (CBN) MetaML ...
openaire   +1 more source

Proof-Theory and Semantics for a Theory of Definite Descriptions

Lecture Notes in Computer Science, 2021
Nils Kurbis
exaly  

Meaning in the mechanistic mind: a non-semantic theory of mental computation

2014
Representational or semantic content plays an essential role in classical accounts of computation and cognition. Both cognitive science and computer science share philosophical foundations that endorse such a view. This has led quite naturally to a situation where computational theories of mind, theories which unite computation with cognition, have ...
openaire   +1 more source

Distributional Semantics and Linguistic Theory

Annual Review of Linguistics, 2020
Gemma Boleda
exaly  

A Meta-theory for Big-step Semantics

ACM Transactions on Computational Logic, 2022
Francesco Dagnino
exaly  

Semantics and property theory

Linguistics and Philosophy, 1988
Raymond Turner, Gennaro Chierchia, Turner Raymond   +2 more
exaly  

Language Theory and Semantics

Texts in Computer Science, 2021
exaly  

Exploring the nature of disciplinary teaching and learning using Legitimation Code Theory Semantics

Teaching in Higher Education, 2016
Sherran Clarence
exaly  

Validation of Two Short Personality Inventories Using Self-Descriptions in Natural Language and Quantitative Semantics Test Theory

Frontiers in Psychology, 2020
Danilo Garcia, Sverker Sikstrom, Ali Al Nima   +2 more
exaly