Pages that link to "Item:Q5445306"
From MaRDI portal
The following pages link to Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach (Q5445306):
Displaying 6 items.
- Argument graphs and assumption-based argumentation (Q253995) (← links)
- Algorithms for generating arguments and counterarguments in propositional logic (Q648354) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Computational properties of argument systems satisfying graph-theoretic constraints (Q1028949) (← links)
- Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
- An Algorithm for Generating Arguments in Classical Predicate Logic (Q3638143) (← links)