ICCL mit vier Papieren bei ECAI vertreten
Aus International Center for Computational Logic
Neuigkeit aus der Forschungsgruppe Computational Logic vom 22. Juni 2016
ICCL mit vier Papieren bei ECAI vertreten
Die European Conference on Artificial Intelligence ist Europas prestigeträchtigste Konferenz im Bereich der Künstlichen Intelligenz. In diesem Jahr wird die zweijährlich stattfindende Konferenz in Den Haag ausgetragen. Nur 27% der über 650 eingereichten Papieren wurden akzeptiert.
Die akzeptierten Papiere sind:
- Franz Baader, Oliver Fernandez Gil: Extending the Description Logic tEL(deg) with acyclic TBoxes
- Claudia Carapelle, Anni-Yasmin Turhan: Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
- İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza Nyssen: Complexity of Probabilistic Datalog+/-
- Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer: Fixed-Domain Reasoning for Description Logics
- Weitere Infos unter: http://www.ecai2016.org/
