The following pages link to Witold Łukaszewicz (Q1367071):
Displaying 8 items.
- Computing circumscription revisited: A reduction algorithm (Q1367072) (← links)
- Knowledge representation techniques. A rough set approach. (Q2498271) (← links)
- (Q2753783) (← links)
- (Q2772496) (← links)
- Consistency-based Revision of Structured Belief Bases (Q2805411) (← links)
- (Q3126169) (← links)
- First-order Generalization of the MPMA Belief Update Operator (Q3397157) (← links)
- Declarative PTIME queries for relational databases using quantifier elimination (Q4934813) (← links)
