News16: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=ICCL mit gleich sieben Papieren bei IJCAI vertreten |Titel EN=ICCL Researchers Score Seven Papers at IJCAI 2015 |Beschreibung DE=Die ''In…“) |
Markus Krötzsch (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 13: | Zeile 13: | ||
* [[Sebastian Rudolph]], [[Michaël Thomazo]]: Characterization of the Expressivity of Existential Rule Queries | * [[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 | * [[Benjamin Zarrieß]], Jens Claßen: Verification of Knowledge-Based Programs over Description Logic Actions | ||
Wir gratulieren allen Autoren zu diesem bemerkenswerten Erfolg. Ab 2015 soll IJCAI übrigens jährlich stattfinden. | Wir gratulieren allen Autoren zu diesem bemerkenswerten Erfolg. Ab 2015 soll IJCAI übrigens jährlich stattfinden. | ||
|Beschreibung EN=The ''International Joint Conference on Artificial Intelligence'' (IJCAI) is the most important conference in artificial intelligence, which brings together world-leading researchers in this field every other year (from 2016 on every year). IJCAI 2015 takes place in Buenos Aires and registered a record number of 1,996 submissions, of which 575 papers have been accepted (28.8%). It is therefore remarkable that ICCL researchers have been successful with a total of seven accepted papers. | |||
The accepted papers are: | The accepted papers are: | ||
| Zeile 26: | Zeile 27: | ||
* [[Sebastian Rudolph/en|Sebastian Rudolph]], [[Michaël Thomazo/en|Michaël Thomazo]]: Characterization of the Expressivity of Existential Rule Queries | * [[Sebastian Rudolph/en|Sebastian Rudolph]], [[Michaël Thomazo/en|Michaël Thomazo]]: Characterization of the Expressivity of Existential Rule Queries | ||
* [[Benjamin Zarrieß/en|Benjamin Zarrieß]], Jens Claßen: Verification of Knowledge-Based Programs over Description Logic Actions | * [[Benjamin Zarrieß/en|Benjamin Zarrieß]], Jens Claßen: Verification of Knowledge-Based Programs over Description Logic Actions | ||
Congratulations to all authors for this remarkable success. | Congratulations to all authors for this remarkable success. | ||
|URL=http://ijcai-15.org/ | |URL=http://ijcai-15.org/ | ||
|Datum=2015/04/19 | |Datum=2015/04/19 | ||
Version vom 19. April 2015, 23:00 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 wurdem (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/
