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
Country
Cyprus
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 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
3Lellmann, Björn Standard Sequent Calculi for Lewis' Logics of CounterfactualsKonferenzbeitrag Inproceedings 2016
4Polberg, Sylwia Understanding the Abstract Dialectical FrameworkKonferenzbeitrag Inproceedings 2016