News16: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Stefan Borgwardt (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Knowledge Systems“ durch „|Forschungsgruppe=Wissensbasierte Systeme“) |
||
| (3 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt) | |||
| Zeile 9: | Zeile 9: | ||
* [[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]] | ||
* [[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 | ||
| 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]]: [[Inproceedings3017]] | * [[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]]: [[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]] | ||
* [[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/
