- Tytuł:
- Computation of extensions of seminormal default theories
- Autorzy:
-
Su, K.
Li, W. - Data publikacji:
- 1999
- Słowa kluczowe:
-
reasoning
knowledge representation
default logic
ordered default theory
extension - Pokaż więcej
- Dostawca treści:
- BazTech