Pages that link to "Item:Q2379333"
From MaRDI portal
The following pages link to Implementing semantic merging operators using binary decision diagrams (Q2379333):
Displayed 5 items.
- Logic based merging (Q535328) (← links)
- A framework for reasoning under uncertainty based on non-deterministic distance semantics (Q541819) (← links)
- Simplified forms of computerized reasoning with distance semantics (Q545150) (← links)
- Merging Qualitative Constraints Networks Using Propositional Logic (Q3638160) (← links)
- Merging First-Order Knowledge Using Dilation Operators (Q5445298) (← links)