
doi: 10.1007/bfb0028215
Recently a variant of Reiter's default logic, called constrained default logic, has been developed in order to overcome certain short-comings of the original approach. In this paper, we introduce a very simple but powerful extension of constrained default logic, called preconstrained default logic. We demonstrate that adding certain preconstraints to default theories results in very expressive systems: Apart from representing heuristic control information, pre-constraints provide simple mechanisms for dealing with default lemmas and for incorporating priorities. Finally, we describe how pre-constrained default logic is related to other well-known approaches.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
