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

View Statistics Email Alert RSS Feed

Description

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.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kuznets, Roman ; Michael, Loizos ; Kakas, Antonis C. Proving Craig and Lyndon Interpolation Using Labelled Sequent CalculiKonferenzbeitrag Inproceedings 2016
2Beck, Harald ; Bierbaumer, Bruno ; Dao-Tran, Minh ; Eiter, Thomas ; Hellwagner, Hermann ; Schekotihin, Konstantin ; Michael, Loizos ; Kakas, Antonis C. Rule-based Stream Reasoning for Intelligent Administration of Content-Centric NetworksKonferenzbeitrag Inproceedings 2016
3Polberg, Sylwia ; Michael, Loizos ; Kakas, Antonis C. Understanding the Abstract Dialectical FrameworkKonferenzbeitrag Inproceedings 2016