Pages that link to "Item:Q2405258"
From MaRDI portal
The following pages link to Detecting inconsistencies in large first-order knowledge bases (Q2405258):
Displaying 7 items.
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Analysing inconsistent first-order knowledgebases (Q2389648) (← links)
- (Q4576231) (← links)
- (Q4989394) (← links)
- The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
- Automatic white-box testing of first-order logic ontologies (Q5213392) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)