4 search results - page 1 / 1 » Towards Compatible and Interderivable Semantic Specification... |
BIRTHDAY
2009
Springer
13 years 8 months ago
2009
Springer
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
BIRTHDAY
2009
Springer
13 years 8 months ago
2009
Springer
CONTEXT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...