Talks and Poster Presentations (with Proceedings-Entry):
P. Besnard, T. Schaub, H. Tompits, S. Woltran:
"Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories";
Talk: ECSQARU 2003,
- 2003-07-05; in: "Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference",
T. Nielsen, N. Zhang (ed.);
Lecture Notes in Computer Science 2711
Created from the Publication Database of the Vienna University of Technology.