3342 search results - page 488 / 669 » Automating Abstract Interpretation |
109
Voted
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
112
click to vote
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
104
click to vote
PACT
2005
Springer
15 years 6 months ago
2005
Springer
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
174
Voted
PPSWR
2005
Springer
15 years 6 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
73
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...