Pages that link to "Item:Q2305438"
From MaRDI portal
The following pages link to GKC: a reasoning system for large knowledge bases (Q2305438):
Displaying 9 items.
- GKC (Q44070) (← links)
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Confidences for commonsense reasoning (Q2055883) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
- Layered clause selection for theory reasoning (short paper) (Q2096461) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- GK: implementing full first order default logic for commonsense reasoning (system description) (Q2104518) (← links)
- On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)