The following pages link to (Q3880319):
Displaying 13 items.
- Completeness results for inequality provers (Q1079960) (← links)
- Hierarchical deduction (Q1098332) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- SET-VAR (Q1319383) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- A model of three-way decisions for knowledge harnessing (Q2310297) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- Cyclic connections (Q4645228) (← links)
- Str∔ve and integers (Q5210788) (← links)
- Ordered chaining for total orderings (Q5210789) (← links)
