[Back]


Talks and Poster Presentations (without Proceedings-Entry):
S. Woltran:
"Paraconsistent Reasoning via QBFs";
Talk: Dagstuhl Seminar Nr. 03241, Inconsistency Tolerance, Dagstuhl, Germany (invited); 2003-06-09 - 2003-06-13.

Created from the Publication Database of the Vienna University of Technology.