Complexity of logic-based argumentation in Post's framework.

Nadia Creignou Johannes Schmidt Michael Thomas Stefan Woltran

Published in: Argument Comput. (2011)

Keyphrases

artificial intelligence
lightweight
main contribution
computational model
databases
computer vision
three dimensional
search algorithm
lower bound
np hard
theoretical framework
framework enables