Sciweavers

1455 search results - page 144 / 291
» Programming in Logic with Constraints for Natural Language P...
Sort
View
BIRTHDAY
2000
Springer
14 years 1 months ago
Prioritizing Default Logic
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
Gerhard Brewka, Thomas Eiter
IUI
2000
ACM
14 years 1 months ago
Expression constraints in multimodal human-computer interaction
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...
Sandrine Robbe-Reiter, Noelle Carbonell, Pierre Da...
IJCNLP
2005
Springer
14 years 2 months ago
CTEMP: A Chinese Temporal Parser for Extracting and Normalizing Temporal Information
Temporal information is useful in many NLP applications, such as information extraction, question answering and summarization. In this paper, we present a temporal parser for extra...
Mingli Wu, Wenjie Li, Qin Lu, Baoli Li
DFG
2004
Springer
14 years 29 days ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
MODELS
2010
Springer
13 years 7 months ago
Extending Variability for OCL Interpretation
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
Claas Wilke, Michael Thiele, Christian Wende