Abstract | ||
---|---|---|
Recently some variants of Reiter's default logic have been proposed. These variants have been defined by altering the definition of default extension and, sometimes, also the definition of default theory. Recently a uniform semantic framework has been introduced by Besnard and Schaub, in which the semantics of the various default logics is given in terms of Kripke structures. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/3-540-56804-2_6 | ISMIS |
Keywords | Field | DocType |
modal approach,default logic | Default logic,Semantic framework,Autoepistemic logic,Computer science,Multimodal logic,Theoretical computer science,Artificial intelligence,Machine learning,Modal,Semantics | Conference |
ISBN | Citations | PageRank |
3-540-56804-2 | 2 | 0.48 |
References | Authors | |
13 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Laura Giordano | 1 | 115 | 16.64 |