Efficiently Characterizing the Undefined Requests of a Rule-Based System

DOI10.1007/978-3-319-98938-9_5MaRDI QIDQ6104492zbMATH OpenOpenAlexFDO

Authors Zheng Cheng, Jean-Claude Royer

Publication date 28 June 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-98938-9_5

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1304704
• scientific article; zbMATH DE number 5506106
• scientific article; zbMATH DE number 2016078
• Verification and enforcement of access control policies
• Analysis of dynamic policies

Cites work

• Enumerating infeasibility: finding multiple MUSes quickly
• scientific article; zbMATH DE number 5506106 (Why is no real title available?)
• Verification, validation, and integrity issues in expert and database systems: Two perspectives

This page was built for publication: Efficiently Characterizing the Undefined Requests of a Rule-Based System

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