Encoding Deductive Argumentation in Quantified Boolean Formulae

Besnard, Philippe; Hunter, Anthony; Woltran, Stefan

Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.

Record link:

http://hdl.handle.net/20.500.12708/35163

Title:

Encoding Deductive Argumentation in Quantified Boolean Formulae

Citation:

Besnard, P., Hunter, A., & Woltran, S. (2008). Encoding Deductive Argumentation in Quantified Boolean Formulae (DBAI-TR-2008-60). http://hdl.handle.net/20.500.12708/35163

Publication Type:

Report - Research Report

Authors:

Besnard, Philippe
Hunter, Anthony
Woltran, Stefan

Organisational Unit:

E192-02 - Forschungsbereich Databases and Artificial Intelligence

Report No.:

DBAI-TR-2008-60

Date (published):

2008

Number of Pages:

Science Branch: