Stratification for Variants of Default Logic.

Jörg Ernst Grigoris Antoniou

Published in: AAAI/IAAI (1997)

Keyphrases

default theories
default logic
expressive power
default reasoning
databases
general purpose
programming language
variants of default logic
description logics