A Logic for Default Reasoning
(1980) : Reiter, R.
DOI: https://doi.org/10.1016/0004-3702(80)90014-4
#non_monotonic_logic #default_logic #logic #my_bibtex

A Logic for Default Reasoning
(1980) : Reiter, R.
DOI: https://doi.org/10.1016/0004-3702(80)90014-4
#default_logic #logic #non_monotonic_logic #my_bibtex

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

Rights in Default Logic
(2016) : Mullins, Robert
isbn: 978-1-84890-215-2
#text_book #rights #deontic_logic #semantics #action #default_logic #norms #sequence #obligations #logic #my_bibtex

A Logic for Default Reasoning
(1980) : Reiter, R.
DOI: https://doi.org/10.1016/0004-3702(80)90014-4
#default_logic #non_monotonic_logic #logic #my_bibtex

A Logic for Default Reasoning
(1980) : R. Reiter
DOI: https://doi.org/10.1016/0004-3702(80)90014-4
#default_logic #logic #non_monotonic_logic
#my_bibtex