Sciweavers

9719 search results - page 50 / 1944
» Answer Set Optimization
Sort
View
68
Voted
COMMA
2008
15 years 2 months ago
On the Relationship of Defeasible Argumentation and Answer Set Programming
Matthias Thimm, Gabriele Kern-Isberner
IJCAI
2007
15 years 2 months ago
From Answer Set Logic Programming to Circumscription via Logic of GK
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
Fangzhen Lin, Yi Zhou
89
Voted
AAAI
2006
15 years 2 months ago
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
Tran Cao Son, Enrico Pontelli, Phan Huy Tu