Pages that link to "Item:Q4897703"
From MaRDI portal
The following pages link to Contextual hypotheses and semantics of logic programs (Q4897703):
Displaying 6 items.
- Logic programming as classical inference (Q898781) (← links)
- Contexts in dynamic predicate logic (Q1384001) (← links)
- Nonmonotonicity in the framework of parametric logic (Q2009771) (← links)
- Disjunctive logic programs, answer sets, and the cut rule (Q2085572) (← links)
- (Q2754251) (← links)
- Hypothetical reasoning and definitional reflection in logic programming (Q5053014) (← links)