Sciweavers

2722 search results - page 66 / 545
» Automating Language Evolution
Sort
View
ICLP
2007
Springer
15 years 6 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 6 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 5 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 6 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 6 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