Pages that link to "Literal (mathematical logic)"
Jump to navigation
Jump to search
The following pages link to Literal (mathematical logic):
Displaying 18 items.
- Inductive logic programming (← links)
- Abductive reasoning (← links)
- Disjunctive normal form (← links)
- Conjunctive normal form (← links)
- 2-satisfiability (← links)
- Horn-satisfiability (← links)
- Propositional formula (← links)
- Quantifier elimination (← links)
- Resolution (logic) (← links)
- Unit propagation (← links)
- Stable model semantics (← links)
- Constraint logic programming (← links)
- Clause (logic) (← links)
- Action description language (← links)
- Difference-map algorithm (← links)
- Algorithmic Lovász local lemma (← links)
- ProbLog (← links)
- Theta-subsumption (← links)