News16: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sarah Gaggl (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Michael Thomazo (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 11: | Zeile 11: | ||
* [[Sarah Gaggl]], [[Sebastian Rudolph]], Hannes Strass: [[Inproceedings3019|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 25: | Zeile 25: | ||
* [[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]] | * [[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 | ||
Version vom 15. Mai 2015, 09:59 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/
