2308 search results - page 232 / 462 » Categorial Semantics For LFG |
164
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
157
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
175
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
151
click to vote
ICMI
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we describe the enabling technologies to develop a smart meeting system based on a three layered generic model. From physical level to semantic level, it consists o...
170
click to vote
PPDP
2007
Springer
16 years 21 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...