1179 search results - page 16 / 236 » Programming in Hybrid Constraint Languages |
201
click to vote
PLDI
2009
ACM
16 years 9 days ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
98
Voted
PPDP
1999
Springer
15 years 3 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
114
Voted
AMAI
2008
Springer
14 years 11 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
133
Voted
ECOWS
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
CP
2007
Springer
15 years 5 months ago
2007
Springer