zbMath0765.68186MaRDI QIDQ4028770
Giuseppe Attardi, Maria Simi
Publication date: 28 March 1993
zbMATH Keywords
consistency; non conservative extension; reflection rules
Mathematics Subject Classification ID
68T30: Knowledge representation