A graphical tabular model for rule-based logic programming and verification

MaRDI QIDQ5171087zbMATH OpenFDO

Authors Grzegorz J. Nalepa, Antoni Ligȩza

Publication date 25 July 2014

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1755583
• A visual edition tool for design and verification of knowledge in rule-based systems
• Toward logical analysis of tabular rule-based systems
• The HeKatE methodology. Hybrid engineering of intelligent systems
• Logical foundations for rule-based systems.

Cited in

(5)

• Toward logical analysis of tabular rule-based systems
• The HeKatE methodology. Hybrid engineering of intelligent systems
• Extended ASP Tableaux and rule redundancy in normal logic programs
• scientific article; zbMATH DE number 4114106 (Why is no real title available?)
• A visual edition tool for design and verification of knowledge in rule-based systems

This page was built for publication: A graphical tabular model for rule-based logic programming and verification

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