Vortrag: Strong Equivalence for Epistemic Logic Programs Made Easy
Stammdaten
| Titel: | Strong Equivalence for Epistemic Logic Programs Made Easy |
| Beschreibung: | |
| Schlagworte: |
| Typ: | Poster-Präsentation |
| Homepage: | https://aaai.org/Conferences/AAAI-19/aaai-19-program-overview/ |
| Veranstaltung: | AAAI-19: Thirty-Third AAAI Conference on Artificial Intelligence (Hilton Hawaiian Village, Honolulu, Hawaii) |
| Datum: | 31.01.2019 |
| Vortragsstatus: |
Beteiligte
| Michael Morak (intern) |
|
| Wolfgang Faber (intern) |
|
| Stefan Woltran (extern) |
|
Zuordnung
| Organisation | Adresse | ||||
|---|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
| Sachgebiete | |
| Forschungscluster | Kein Forschungscluster ausgewählt |
| Vortragsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
| TeilnehmerInnenkreis |
|
| Publiziert? |
|
| Arbeitsgruppen | Keine Arbeitsgruppe ausgewählt |
Kooperationen
| Organisation | Adresse | ||
|---|---|---|---|
Technische Universität Wien
|
AT - 1040 Wien |
Forschungsaktivitäten
Hier werden alle mit dieser Veranstaltung in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
| Projekte | Keine verknüpften Projekte vorhanden |
| Publikationen |
|
| Veranstaltungen |
|
| Vorträge | Keine verknüpften Vorträge vorhanden |