Sciweavers

263 search results - page 9 / 53
» Dynamic Semantics for a Controlled Natural Language
Sort
View
ESOP
2001
Springer
13 years 12 months ago
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...
FOSSACS
2001
Springer
13 years 12 months ago
On Garbage and Program Logic
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
Cristiano Calcagno, Peter W. O'Hearn
JFPLC
1998
13 years 8 months ago
DF - a feature constraint system and its extension to a logic concurrent language
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
Liviu-Virgil Ciortuz
POPL
2009
ACM
14 years 8 months ago
Wild control operators
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
Chris Barker
JODS
2006
111views Data Mining» more  JODS 2006»
13 years 7 months ago
Interoperability Through Emergent Semantics A Semiotic Dynamics Approach
Abstract. We study the exchange of information in collective information systems mediated by information agents, focusing specifically on the problem of semantic interoperability. ...
Luc Steels, Peter Hanappe