Paraconsistent reasoning via quantified boolean formulas
Author details: | Philippe Besnard, Torsten SchaubORCiDGND, Hans Tompits, Stefan WoltranORCiDGND |
---|---|
ISBN: | 3-540-44190-5 |
Publication type: | Article |
Language: | English |
Year of first publication: | 2002 |
Publication year: | 2002 |
Release date: | 2017/03/24 |
Source: | Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23 - 26, 2002 ; proceedings / Hrsg.: Sergio Flesca ; Giovambattista Ianni. - Berlin [u.a.] : Springer, 2002. - (Lecture notes in computer science ; 2424 : Lecture notes in artificial intelligence) - ISBN 3-540-44190-5. - S. 320 - 331 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Institution name at the time of the publication: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |