1302 search results - page 77 / 261 » Deductive Plan Generation |
JAIR
2007
13 years 8 months ago
2007
One of the biggest challenges in the development and deployment of spoken dialogue systems is the design of the spoken language generation module. This challenge arises from the n...
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
AIIDE
2007
13 years 11 months ago
2007
Interactive Storytelling (IS) systems are an emerging class of interactive entertainment applications with emphasis in narrative aspects. This paper deals with stories that have p...
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
IDA
2003
Springer
14 years 2 months ago
2003
Springer
The Fellegi-Holt method automatically “corrects” data that fail some predefined requirements. Computer implementations of the method were used in many national statistics bure...