News16: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Knowledge Systems“ durch „|Forschungsgruppe=Wissensbasierte Systeme“) |
||
| (8 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt) | |||
| Zeile 2: | Zeile 2: | ||
|Titel DE=ICCL mit gleich sieben Papieren bei IJCAI vertreten | |Titel DE=ICCL mit gleich sieben Papieren bei IJCAI vertreten | ||
|Titel EN=ICCL Researchers Score Seven Papers at IJCAI 2015 | |Titel EN=ICCL Researchers Score Seven Papers at IJCAI 2015 | ||
|Beschreibung DE=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 | |Beschreibung DE=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: | 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]]: 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]]: Reasonable Highly Expressive Query Languages | * Pierre Bourhis, [[Markus Krötzsch]], [[Sebastian Rudolph]]: [[Inproceedings3015|Reasonable Highly Expressive Query Languages]] | ||
* [[Sarah Gaggl]], [[Sebastian Rudolph]], Hannes Strass: On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks | * [[Sarah Gaggl]], [[Sebastian Rudolph]], Hannes Strass: [[Inproceedings3019|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]], Christian Sacarea, [[Diana Troanca]]: Membership Constraints in Formal Concept Analysis | ||
* [[Sebastian Rudolph]], [[Michaël Thomazo]]: Characterization of the Expressivity of Existential Rule Queries | * [[Sebastian Rudolph]], [[Michaël Thomazo]]: [[Inproceedings3018|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. | |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/en|ICCL]] researchers have been successful with a total of seven accepted papers. | ||
The accepted papers are: | The accepted papers are: | ||
* [[Stefan Borgwardt/en|Stefan Borgwardt]], Marco Cerami, [[Rafael Peñaloza/en|Rafael Peñaloza]]: The Complexity of Subsumption in Fuzzy EL | * [[Stefan Borgwardt/en|Stefan Borgwardt]], Marco Cerami, [[Rafael Peñaloza/en|Rafael Peñaloza]]: [[Inproceedings3017|The Complexity of Subsumption in Fuzzy EL]] | ||
* [[Stefan Borgwardt/en|Stefan Borgwardt]], [[Veronika Thost/en|Veronika Thost]]: 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]]: 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]] | ||
* [[Sarah Gaggl/en|Sarah Gaggl]], [[Sebastian Rudolph/en|Sebastian Rudolph]], Hannes Strass: On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks | * [[Sarah Gaggl/en|Sarah Gaggl]], [[Sebastian Rudolph/en|Sebastian Rudolph]], Hannes Strass: [[Inproceedings3019|On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks]] | ||
* [[Sebastian Rudolph/en|Sebastian Rudolph]], Christian Sacarea, [[Diana Troanca/en|Diana Troanca]]: Membership Constraints in Formal Concept Analysis | * [[Sebastian Rudolph/en|Sebastian Rudolph]], Christian Sacarea, [[Diana Troanca/en|Diana Troanca]]: Membership Constraints in Formal Concept Analysis | ||
* [[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]]: [[Inproceedings3018|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 | ||
| Zeile 33: | Zeile 33: | ||
|Datum=2015/04/19 | |Datum=2015/04/19 | ||
|Bild=Ijcai2015-logo.png | |Bild=Ijcai2015-logo.png | ||
|Forschungsgruppe= | |Forschungsgruppe=Wissensbasierte Systeme | ||
}} | }} | ||
Aktuelle Version vom 24. Mai 2016, 17:02 Uhr
Neuigkeit aus der Forschungsgruppe Wissensbasierte Systeme 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/
