Sciweavers

9719 search results - page 50 / 1944
» Answer Set Optimization
Sort
View
IJCAI
2007
13 years 11 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