3824 search results - page 329 / 765 » Geometry Constructions Language |
124
click to vote
INTETAIN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we describe our efforts to increase the entertainment value of the stories generated by our story generation system, the Virtual Storyteller, at the levels...
142
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
137
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
116
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...
138
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. UML class diagrams can be used as a language for expressing a conceptual model of a domain. We use the General Ontological Language (GOL) and its underlying upper level o...