News16: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Stefan Borgwardt (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Stefan Borgwardt (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
Die akzeptierten Papiere sind: | Die akzeptierten Papiere sind: | ||
* [[Stefan Borgwardt]], Marco Cerami, [[Rafael Peñaloza]]: The Complexity of Subsumption in Fuzzy EL | * [[Stefan Borgwardt]], Marco Cerami, [[Rafael Peñaloza]]: [[Inproceedings3017|The Complexity of Subsumption in Fuzzy EL]] | ||
* [[Stefan Borgwardt]], [[Veronika Thost]]: [[Inproceedings3016|Temporal Query Answering in the Description Logic EL]] | * [[Stefan Borgwardt]], [[Veronika Thost]]: [[Inproceedings3016|Temporal Query Answering in the Description Logic EL]] | ||
* Pierre Bourhis, [[Markus Krötzsch]], [[Sebastian Rudolph]]: [[Inproceedings3015|Reasonable Highly Expressive Query Languages]] | * Pierre Bourhis, [[Markus Krötzsch]], [[Sebastian Rudolph]]: [[Inproceedings3015|Reasonable Highly Expressive Query Languages]] | ||
| Zeile 20: | Zeile 20: | ||
The accepted papers are: | The accepted papers are: | ||
* [[Stefan Borgwardt/en|Stefan Borgwardt]], Marco Cerami, [[Rafael Peñaloza/en|Rafael Peñaloza]]: | * [[Stefan Borgwardt/en|Stefan Borgwardt]], Marco Cerami, [[Rafael Peñaloza/en|Rafael Peñaloza]]: [[Inproceedings3017]] | ||
* [[Stefan Borgwardt/en|Stefan Borgwardt]], [[Veronika Thost/en|Veronika Thost]]: [[Inproceedings3016|Temporal Query Answering in the Description Logic EL]] | * [[Stefan Borgwardt/en|Stefan Borgwardt]], [[Veronika Thost/en|Veronika Thost]]: [[Inproceedings3016|Temporal Query Answering in the Description Logic EL]] | ||
* Pierre Bourhis, [[Markus Krötzsch/en|Markus Krötzsch]], [[Sebastian Rudolph/en|Sebastian Rudolph]]: [[Inproceedings3015|Reasonable Highly Expressive Query Languages]] | * Pierre Bourhis, [[Markus Krötzsch/en|Markus Krötzsch]], [[Sebastian Rudolph/en|Sebastian Rudolph]]: [[Inproceedings3015|Reasonable Highly Expressive Query Languages]] | ||
Version vom 28. April 2015, 12:05 Uhr
Neuigkeit aus der Forschungsgruppe Knowledge Systems vom 19. April 2015
ICCL mit gleich sieben Papieren bei IJCAI vertreten
Die International Joint Conference on Artificial Intelligence (IJCAI) ist die weltweit wichtigste Konferenz im Bereich Künstliche Intelligenz, bei der sich aller zwei Jahre weltweit führende Forscher und Forscherinnen dieses Fachs treffen. In diesem Jahr findet IJCAI in Buenos Aires statt und konnte mit 1.996 Einreichungen einen neuen Rekord verbuchen, wobei 575 Papiere akzeptiert worden sind (28,8%). Es ist daher besonders erfreulich, dass Forschern und Forscherinnen des International Center for Computational Logic gleich mit sieben ihrer Forschungspapiere Erfolg hatten.
Die akzeptierten Papiere sind:
- Stefan Borgwardt, Marco Cerami, Rafael Peñaloza: The Complexity of Subsumption in Fuzzy EL
- Stefan Borgwardt, Veronika Thost: Temporal Query Answering in the Description Logic EL
- Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph: Reasonable Highly Expressive Query Languages
- Sarah Gaggl, Sebastian Rudolph, Hannes Strass: On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks
- Sebastian Rudolph, Christian Sacarea, Diana Troanca: Membership Constraints in Formal Concept Analysis
- Sebastian Rudolph, Michaël Thomazo: Characterization of the Expressivity of Existential Rule Queries
- Benjamin Zarrieß, Jens Claßen: Verification of Knowledge-Based Programs over Description Logic Actions
- Weitere Infos unter: http://ijcai-15.org/
