6 search results - page 2 / 2 » Heyting Domains for Constraint Abduction |
187
click to vote
AMAI
2008
Springer
15 years 6 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, ...