Nonmonotonic Reasoning
(1991) : Brewka, Gerhard
isbn: 0-521-38394-3
#logic #default_logic #inheritance_systems #preferred_semantics #theorem_proving #rule_system #circumscription #nonmonotonic_reasoning #my_bibtex