Pages that link to "Item:Q4286210"
From MaRDI portal
The following pages link to Ordered Logic Programming with Sets (Q4286210):
Displaying 6 items.
- Logic programming with sets (Q909435) (← links)
- Set based logic programming (Q1029592) (← links)
- Semantics and expressiveness of disjunctive ordered logic (Q1978010) (← links)
- (Q4013970) (← links)
- An abductive proof procedure for conditional logic programming (Q4632300) (← links)
- Hypothetical updates, priority and inconsistency in a logic programming language (Q5101451) (← links)