The following pages link to (Q3835054):
Displaying 14 items.
- A kind of logical compilation for knowledge bases (Q1331921) (← links)
- A duality between Pawlak's knowledge representation systems and bi-consequence systems (Q1896761) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- \(F\)-\(K\) system of knowledge representation (Q2720051) (← links)
- (Q2754214) (← links)
- Expressive power of knowledge representation systems (Q3327749) (← links)
- (Q4003933) (← links)
- (Q4014095) (← links)
- (Q4287508) (← links)
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064) (← links)
- (Q5209783) (← links)
- The DLV system for knowledge representation and reasoning (Q5277755) (← links)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (Q5504646) (← links)
- Invariant characters of information systems under some homomorphisms (Q5946288) (← links)