Name Card

Full name Familienname, Vorname
Raedt, Luc De
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Arieli-2022-Annotated Sequent Calculi for Paraconsistent Reasoning and Th...-vor.pdf.jpgArieli, Ofer ; van Berkel, Kees ; Straßer, Christian Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical ArgumentationInproceedings Konferenzbeitrag 2022
2Xiao, Guohui ; Ma, Yue Inconsistency Measurement based on Variables in Minimal Unsatisfiable SubsetsKonferenzbeitrag Inproceedings 2012
3Lackner, Martin ; Pfandler, Andreas Fixed-Parameter Algorithms for Closed World ReasoningKonferenzbeitrag Inproceedings 2012