Pages that link to "Item:Q4700098"

The following pages link to Computing argumentation in logic programming (Q4700098):

Displaying 10 items.

• A general framework for sound assumption-based argumentation dialogues (Q460606) (← links)
• Algorithms for generating arguments and counterarguments in propositional logic (Q648354) (← links)
• Computing ideal sceptical argumentation (Q1028947) (← links)
• Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
• Alternative foundations for Reiter's default logic (Q1589575) (← links)
• On argumentation logic and propositional logic (Q1743995) (← links)
• A general semi-structured formalism for computational argumentation: definition, properties, and examples of application (Q1749391) (← links)
• Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
• Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification (Q2270426) (← links)
• Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643) (← links)