Name Card

Full name Familienname, Vorname
Kakas, Antonis C.
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Polberg, Sylwia Understanding the Abstract Dialectical FrameworkKonferenzbeitrag Inproceedings 2016
2Kuznets, Roman Proving Craig and Lyndon Interpolation Using Labelled Sequent CalculiKonferenzbeitrag Inproceedings 2016
3Beck, Harald ; Bierbaumer, Bruno ; Dao-Tran, Minh ; Eiter, Thomas ; Hellwagner, Hermann ; Schekotihin, Konstantin Rule-based Stream Reasoning for Intelligent Administration of Content-Centric NetworksKonferenzbeitrag Inproceedings 2016