Dialectic proof procedures for assumption-based, admissible argumentation.

Phan Minh Dung Robert A. Kowalski Francesca Toni

Published in: Artif. Intell. (2006)

Keyphrases

proof procedures
inference rules
proof procedure
winning strategy
state space
theorem proving
optimal solution
first order logic