Sciweavers

2722 search results - page 210 / 545
» Automating Language Evolution
Sort
View
KR
2004
Springer
15 years 10 months ago
Complex Preferences for Answer Set Optimization
The main contribution of this paper is the definition of the preference description language  ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
Gerhard Brewka
LPNMR
2004
Springer
15 years 10 months ago
Planning with Preferences Using Logic Programming
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
Tran Cao Son, Enrico Pontelli
118
Voted
TACAS
1995
Springer
94views Algorithms» more  TACAS 1995»
15 years 8 months ago
A User Guide to HyTech
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
129
Voted
SE
2008
15 years 6 months ago
A TTCN-3-based Web Service Test Framework
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...
Edith Werner, Jens Grabowski, Stefan Troschüt...
133
Voted
ACL
1996
15 years 6 months ago
Morphological Cues for Lexical Semantics
Most natural language processing tasks require lexical semantic information. Automated acquisition of this information would thus increase the robustness and portability of NLP sy...
Marc Light