Pages that link to "Item:Q5935989"
From MaRDI portal
The following pages link to A general theory of confluent rewriting systems for logic programming and its applications (Q5935989):
Displayed 8 items.
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
- Dealing with explicit preferences and uncertainty in answer set programming (Q1928820) (← links)
- Graph-based construction of minimal models (Q2093381) (← links)
- Semantics for Possibilistic Disjunctive Programs (Q2845121) (← links)
- A logical approach to A-Prolog (Q4916215) (← links)
- Approximating agreements in formal argumentation dialogues1 (Q5145459) (← links)