The following pages link to Thomas J. Weigert (Q1193839):
Displaying 10 items.
- An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic (Q1193840) (← links)
- Fuzzy operator logic and fuzzy resolution (Q1312159) (← links)
- (Q2277442) (redirect page) (← links)
- \(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic (Q2277443) (← links)
- Systems specification by basic protocols (Q2508786) (← links)
- Basic protocols, message sequence charts, and the verification of requirements specifications (Q2573328) (← links)
- Reasoning under uncertainty in fuzzy operator logic (Q4017754) (← links)
- (Q4450993) (← links)
- (Q4840654) (← links)
- (Q4867197) (← links)
