scientific article; zbMATH DE number 1790363

MaRDI QIDQ4549400zbMATH OpenFDO

Authors Kouichi Katsurada, Makoto Koyama, Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi

Publication date 28 August 2002

zbMATH Keywords

default rulesknowledge conversionordinary rules

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• A formal procedure for finding contradictions into a set of rules
• scientific article; zbMATH DE number 1790348
• scientific article; zbMATH DE number 1276095
• scientific article; zbMATH DE number 3952043
• Handling exceptions in logic programming without negation as failure

Cited in

(2)

• scientific article; zbMATH DE number 1276095 (Why is no real title available?)
• A formal procedure for finding contradictions into a set of rules

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