15th European Conference On Logics In Artificial Intelligence (JELIA 2016)

Event name
15th European Conference On Logics In Artificial Intelligence (JELIA 2016)
 
Event type
Event for scientific audience
 
Start date
09-11-2016
End date
11-11-2016
 
Location
Larnaca
Larnaca
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kuznets, Roman Proving Craig and Lyndon Interpolation Using Labelled Sequent CalculiKonferenzbeitrag Inproceedings 2016
2Beck, 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
3Polberg, Sylwia Understanding the Abstract Dialectical FrameworkKonferenzbeitrag Inproceedings 2016