Pages that link to "Item:Q1994361"
From MaRDI portal
The following pages link to A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361):
Displaying 7 items.
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (Q1404692) (← links)
- A formal model for verification of dynamic consistency of KBSs (Q1842811) (← links)
- A model of three-way decisions for knowledge harnessing (Q2310297) (← links)
- An algebraic approach to DC railway electrification verification (Q2324411) (← links)
- An algebraic approach to revising propositional rule-based knowledge bases (Q2425850) (← links)
- An algebraic model of relevant backward inference based on equation solving (Q2925047) (← links)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (Q5504646) (← links)