1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2002★ 1 cited
Logic Programming with Ordered Disjunction
Gerhard Brewka
Logic programs with ordered disjunction (LPODs) combine ideas underlying Qualitative Choice Logic (Brewka et al. KR 2002) and answer set programming. Logic programming under answer…
cs.AI2000
Declarative Representation of Revision Strategies
Gerhard Brewka
In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about th…