Login / Signup
Complexity-sensitive decision procedures for abstract argumentation.
Wolfgang Dvorák
Matti Järvisalo
Johannes Peter Wallner
Stefan Woltran
Published in:
Artif. Intell. (2014)
Keyphrases
</>
decision procedures
theorem proving
abstract argumentation
modal logic
automated reasoning
first order logic
computational complexity
decision problems
satisfiability problem
inference rules
database
query processing
logic programming
conjunctive queries
theorem prover