scientific article; zbMATH DE number 1500177

MaRDI QIDQ4501326zbMATH OpenFDO

Authors Taotao Xu

Publication date 14 February 2001

zbMATH Keywords

complexity of equivalence of default theoriesdefault theoryrepresentability

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Representation theory for default logic
• More on representation theory for default logic
• Constraints on extensions of a default theory
• Representability in Default Logic
• Representability of default logic in artificial intelligence

Cited in

(8)

• A directly cautious theory of defeasible consequence for default logic via the notion of general extension
• Operational characterization of extensions in some logics for default reasoning
• Representation theory for default logic
• More on representation theory for default logic
• Representation results for non-cumulative logics
• Logic representation in LF
• Representability in Default Logic
• Constraints on extensions of a default theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501326)