Loading...
Please wait, while we are loading the content...
Similar Documents
Argumentation-Theoretic Proof Procedures for Default Reasoning (2003)
| Content Provider | CiteSeerX |
|---|---|
| Author | Dung, P. M. Kowalski, R. A. Toni, F. |
| Abstract | We present a succession of presentations of an argumentation-theoretic proof procedure that applies uniformly to a wide variety of logics for default reasoning, including Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logic and certain instances of circumscription. |
| File Format | |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Argumentation-theoretic Proof Procedure Default Reasoning Certain Instance Non-monotonic Modal Logic Logic Programming Autoepistemic Logic Default Logic |
| Content Type | Text |