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,
Aalborg, Denmark;
2003-07-02
- 2003-07-05; in: "Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference",
T. Nielsen, N. Zhang (ed.);
Springer,
Lecture Notes in Computer Science 2711
(2003),
ISBN: 3-540-40494-5;
528
- 539.
Created from the Publication Database of the Vienna University of Technology.