Pages that link to "Item:Q2640590"
From MaRDI portal
The following pages link to A decidable first-order logic for knowledge representation (Q2640590):
Displaying 10 items.
- On the complexity of entailment in propositional multivalued logics (Q1380415) (← links)
- The complexity of minimum partial truth assignments and implication in negation-free formulae (Q1380416) (← links)
- Toward effective knowledge acquisition with first-order logic induction. (Q1850683) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- (Q3063987) (← links)
- (Q3821625) (← links)
- (Q4386924) (← links)
- A First-order Logic for Reasoning about Knowledge and Probability (Q5121267) (← links)
- A practical integration of first-order reasoning and decision procedures (Q5234694) (← links)
- Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm (Q6488077) (← links)