Sequent calculus in computing default extensions

MaRDI QIDQ5309499zbMATH OpenFDO

Authors

Publication date 9 October 2007

zbMATH Keywords

default logicnonmonotonic reasoningtheorem proving

Mathematics Subject Classification ID

Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1416106
• Computing constrained default extensions -- a constraint satisfaction problem
• A system for computing constrained default logic extensions
• A sequent calculus for skeptical Default Logic
• Alternative approaches to default logic

Cited in

(1)

• scientific article; zbMATH DE number 1416106 (Why is no real title available?)

This page was built for publication: Sequent calculus in computing default extensions

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