ICCL Scores Four Papers at ECAI 2016
From International Center for Computational Logic
News from the research group Computational Logic of June 22, 2016
ICCL Scores Four Papers at ECAI 2016
The biennial European Conference on Artificial Intelligence (ECAI) is Europe’s premier venue for presenting scientific results in AI, which this year will be held in The Hague. Merely 27% of more than 650 submitted papers were accepted.
The accepted papers are:
- 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
- More info at: http://www.ecai2016.org/
