The use of mathematical programming to verify rule-based knowledge

DOI10.1007/BF02187331zbMath0857.90066OpenAlexW1987696640MaRDI QIDQ1815834

Daniel E. O'Leary, Joanne R. Schaffer

Publication date: 19 November 1996

Published in: Annals of Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02187331

zbMATH Keywords

rule-based knowledge

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Management decision making, including multiple objectives (90B50) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

This page was built for publication: The use of mathematical programming to verify rule-based knowledge