A directly cautious theory of defeasible consequence for default logic via the notion of general extension

DOI10.1016/S0004-3702(99)00014-4zbMath0916.68021MaRDI QIDQ1292307

Gian Aldo Antonelli

Publication date: 21 June 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

truth theorydefault logiclogic programmingdefeasible consequencenonmonotonic inheritance

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (1)

Defaults with priorities

This page was built for publication: A directly cautious theory of defeasible consequence for default logic via the notion of general extension