A Semantics for Default Logic

Etherington, David W.

A Semantics for Default Logic

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 495-497.

Abstract

In spite of the importance of well-understood semantics for knowledge representation systems, proponents of default logic have tended to ignore the Jack of a general model-theoretic semantics for the formalism. This shortcoming is addressed by the presentation of such a model-theory. This characterization differs in some ways from traditional semantics . These differences are explained and motivated, . and some applications of the semantics are discussed.

David W. Etherington. 1987. A Semantics for Default Logic. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 495–497. https://ijcai.org/proceedings/1987/97

@inproceedings{ijcai1987p97,
  title     = {A Semantics for Default Logic},
  author    = {Etherington, David W.},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {495--497},
  year      = {1987},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1987/97},
}

TY  - CPAPER
TI  - A Semantics for Default Logic
AU  - Etherington, David W.
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 495
EP  - 497
UR  - https://ijcai.org/proceedings/1987/97
ER  -