Sciweavers

164 search results - page 22 / 33
» Representing Knowledge in Controlled Natural Language: A Cas...
Sort
View
ANOR
2004
143views more  ANOR 2004»
13 years 7 months ago
Model Independent Parametric Decision Making
Accurate knowledge of the effect of parameter uncertainty on process design and operation is essential for optimal and feasible operation of a process plant. Existing approaches de...
Ipsita Banerjee, Marianthi G. Ierapetritou
FSTTCS
2005
Springer
14 years 1 months ago
Semiperfect-Information Games
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
Krishnendu Chatterjee, Thomas A. Henzinger
ACL
1998
13 years 9 months ago
Learning Intonation Rules for Concept to Speech Generation
In this paper, we report on an effort to provide a general-purpose spoken language generation tool for Concept-to-Speech (CTS) applications by extending a widely used text generat...
Shimei Pan, Kathleen McKeown
KR
1991
Springer
13 years 11 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...
AAAI
1996
13 years 9 months ago
Learning to Parse Database Queries Using Inductive Logic Programming
This paper presents recent work using the Chill parser acquisition system to automate the construction of a natural-language interface for database queries. Chill treats parser ac...
John M. Zelle, Raymond J. Mooney