The following pages link to (Q3100239):
Displaying 7 items.
- Dealing with explicit preferences and uncertainty in answer set programming (Q1928820) (← links)
- (Q4708938) (← links)
- A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction (Q5019604) (← links)
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (Q5038473) (← links)
- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic (Q5096199) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424885) (← links)
- (Q5480638) (← links)