The following pages link to (Q4941839):
Displaying 7 items.
- A kind of logical compilation for knowledge bases (Q1331921) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) (Q2286398) (← links)
- A PDL-Like Logic of Knowledge Acquisition (Q3499772) (← links)
- Generalized Abstract Argumentation: Handling Arguments in FOL Fragments (Q3638145) (← links)
- (Q4287508) (← links)
- Logic programming and knowledge representation (Q4305625) (← links)