Sciweavers

2722 search results - page 66 / 545
» Automating Language Evolution
Sort
View
ICLP
2007
Springer
15 years 10 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...
OOPSLA
2007
Springer
15 years 10 months ago
Supporting systems QoS design and evolution through model transformations
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
Amogh Kavimandan, Aniruddha S. Gokhale
ICCBR
2003
Springer
15 years 9 months ago
Using Evolution Programs to Learn Local Similarity Measures
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
Armin Stahl, Thomas Gabel
LPNMR
2009
Springer
15 years 11 months ago
Splitting a CR-Prolog Program
CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is
Marcello Balduccini
LPNMR
2007
Springer
15 years 10 months ago
Conditional Planning with External Functions
We introduce the logic-based planning language Kc as an extension of K [5]. Kc
Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir