A formal model for verification of dynamic consistency of KBSs

DOI10.1016/0898-1221(94)00250-OzbMath0815.68102OpenAlexW2019519144MaRDI QIDQ1842811

B. Ramírez, A. Riscos, Luis M. Laita, Luis de Ledesma

Publication date: 30 June 1995

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(94)00250-o

zbMATH Keywords

algebraic logicformal approach to verificationformal models for KBS'sknowledge based systems verification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Algebraic logic (03G99)

Cites Work

• Unnamed Item
• Unnamed Item
• An algebraic approach to non-classical logics
• N‐Categories in Logic

This page was built for publication: A formal model for verification of dynamic consistency of KBSs