scientific article; zbMATH DE number 2019872

MaRDI QIDQ4440568zbMATH OpenFDO

Authors Timothy Vermeir

Publication date 2002

zbMATH Keywords

inconsistency-adaptive logicslogic programmingnonmonotonicityparaconsistencyparaconsistent proof procedure

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• A proof procedure for adaptive logics
• On algorithmic properties of propositional inconsistency-adaptive logics
• scientific article; zbMATH DE number 1215501
• scientific article; zbMATH DE number 1303449
• scientific article; zbMATH DE number 1735919
• A procedural criterion for final derivability in inconsistency-adaptive logics
• Tutorial on Inconsistency-Adaptive Logics
• scientific article; zbMATH DE number 1612547
• An abductive proof procedure for conditional logic programming
• Two new strategies for inconsistency-adaptive logics

Cited in

(6)

• A procedural criterion for final derivability in inconsistency-adaptive logics
• scientific article; zbMATH DE number 1612547 (Why is no real title available?)
• The generation of abductive explanations from inconsistent theories
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• A proof procedure for adaptive logics
• Tutorial on Inconsistency-Adaptive Logics

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 Q4440568)