139
click to vote
ASP
15 years 6 months ago
2003 Springer 
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...
128
click to vote
ASP
15 years 6 months ago
2003 Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
119
click to vote
ASP
15 years 6 months ago
2003 Springer
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...
ASP
15 years 6 months ago
2003 Springer 131
click to vote
ASP
15 years 6 months ago
2003 Springer 
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
|
Automated Reasoning