Pages that link to "Item:Q1368240"
From MaRDI portal
The following pages link to Disjunctive logic and semantics of disjunctive logic programs (Q1368240):
Displaying 14 items.
- DiMo -- discrete modelling using propositional logic (Q2118304) (← links)
- (Q3413498) (← links)
- Disjunction in modal description logics (Q3510439) (← links)
- Disjunctive Programming (Q3565239) (← links)
- (Q4217934) (← links)
- (Q4235437) (← links)
- (Q4279080) (← links)
- Partial deduction in disjunctive logic programming (Q4365083) (← links)
- (Q4798005) (← links)
- (Q4823426) (← links)
- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic (Q5096199) (← links)
- Comparisons and computation of well-founded semantics for disjunctive logic programs (Q5277723) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424885) (← links)
- (Q5480653) (← links)