Pages that link to "Item:Q1331921"
From MaRDI portal
The following pages link to A kind of logical compilation for knowledge bases (Q1331921):
Displaying 13 items.
- Compact representation of knowledge bases in inductive logic programming (Q702532) (← links)
- A programmable approach to maintenance of a finite knowledge base (Q1400054) (← links)
- A simple heuristic for knowledge base compression (Q1769110) (← links)
- The achievement of knowledge bases by cycle search. (Q1854365) (← links)
- CoLab: A hybrid knowledge representation and compilation laboratory (Q1897397) (← links)
- Forward chaining is simple\((x)\) (Q1970424) (← links)
- A PDL-Like Logic of Knowledge Acquisition (Q3499772) (← links)
- Optimizing general chain programs (Q4262831) (← links)
- (Q4287508) (← links)
- A new method for knowledge compilation: The achievement by cycle search (Q4647543) (← links)
- Exact knowledge compilation in predicate calculus: The partial achievement case (Q5234699) (← links)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (Q5504646) (← links)
- A framework for method-specific knowledge compilation from databases (Q5952808) (← links)