Vortrag: On Uniform Equivalence of Epistemic Logic Programs
Stammdaten
| Titel: | On Uniform Equivalence of Epistemic Logic Programs |
| Beschreibung: | |
| Schlagworte: |
| Typ: | Angemeldeter Vortrag |
| Homepage: | https://www.cs.nmsu.edu/ALP/iclp2019/schedule.html |
| Veranstaltung: | 35th International Conference on Logic Programming (ICLP 2019) (Las Cruces, New Mexico) |
| Datum: | 22.09.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 |
|
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 |