On the expressive power of semi-normal defaults in some semantic variants of default logic.

Mingyi Zhang Ying Zhang

Published in: AI Commun. (2003)

Keyphrases

expressive power
variants of default logic
data complexity
query language
first order logic
computational properties
transitive closure
default theories
natural language
relational algebra
database
general purpose
default logic
relational calculus
relation algebra