6794 search results - page 270 / 1359 » Semantics of Visual Languages |
107
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
110
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
106
Voted
DLOG
2008
15 years 1 months ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
95
Voted
SDL
2007
15 years 2 months ago
2007
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
116
Voted
CONTEXT
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...