A Model-Theoretic Semantics for Defeasible Logic
| dc.creator | Maher, Michael J. | |
| dc.date | 2002-07-25 | |
| dc.date.accessioned | 2026-07-07T03:18:44Z | |
| dc.date.available | 2026-07-07T03:18:44Z | |
| dc.description | Defeasible logic is an efficient logic for defeasible reasoning. It is defined through a proof theory and, until now, has had no model theory. In this paper a model-theoretic semantics is given for defeasible logic. The logic is sound and complete with respect to the semantics. We also briefly outline how this approach extends to a wide range of defeasible logics. | |
| dc.description | 14 pages. Originally published in proc. PCL 2002, a FLoC workshop; eds. Hendrik Decker, Dina Goldin, Jorgen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/) | |
| dc.identifier | https://arxiv.org/abs/cs/0207086 | |
| dc.identifier | http://arxiv.org/abs/cs/0207086 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/31235 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | F.4.1; I.2.3; I.2.4 | |
| dc.title | A Model-Theoretic Semantics for Defeasible Logic | |
| dc.type | text |