The following pages link to (Q3046854):
Displaying 4 items.
- Binary resolution over Boolean lattices (Q853473) (← links)
- Composite distributive lattices as annotation domains for mediators (Q1610220) (← links)
- Approximate Inference for Logic Programs with Annotated Disjunctions (Q3007594) (← links)
- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (Q5504688) (← links)