9719 search results - page 323 / 1944 » Answer Set Optimization |
187
click to vote
ICTAI
2005
IEEE
16 years 10 days ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
209
click to vote
ASP
2005
Springer
16 years 9 days ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
215
click to vote
ASP
2005
Springer
16 years 9 days ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
184
click to vote
AWIC
2005
Springer
16 years 9 days ago
2005
Springer
In data integration systems there is a problem of answering queries through a target schema, given a set of mappings between source schemas and the target schema, and given that th...
197
click to vote
ESWS
2005
Springer
16 years 8 days ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...