1302 search results - page 25 / 261 » Deductive Plan Generation |
ACL
2001
13 years 9 months ago
2001
In a language generation system, a content planner embodies one or more "plans" that are usually hand
FM
1998
Springer
13 years 11 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
VLDB
1990
ACM
13 years 11 months ago
1990
ACM
: The problem of view updatesin deductive databasesis studiedby casting this in anaturally associatedabductive framework.It is shownthat this abductiveapproachdeals successfully, i...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, the Quantum-inspired Genetic Algorithms with the population of a single individual are formalized by a Markov chain model using a single and the stored best individ...
ACL
2007
13 years 9 months ago
2007
In this paper, we translate sentence generation from TAG grammars with semantic and pragmatic information into a planning problem by encoding the contribution of each word declara...