Publikation: Strong Equivalence for Epistemic Logic ...
Stammdaten
| Titel: | Strong Equivalence for Epistemic Logic Programs Made Easy |
| Untertitel: | |
| Kurzfassung: | |
| Schlagworte: |
| Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
| Erscheinungsdatum: | 17.07.2019 (Print) |
| Erschienen in: |
33rd AAAI Conference on Artificial Intelligence (AAAI-19)
33rd AAAI Conference on Artificial Intelligence (AAAI-19)
(
AAAI Press;
P. Van Hentenryck, Z. Zhou
)
zur Publikation |
| Titel der Serie: | - |
| Bandnummer: | - |
| Erstveröffentlichung: | Ja |
| Seite: | S. 2809 - 2816 |
Versionen
| Keine Version vorhanden |
| Erscheinungsdatum: | 17.07.2019 |
| ISBN: | - |
| ISSN: | - |
| Homepage: | https://www.aaai.org/ |
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 |
| Peer Reviewed |
|
| Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
| Arbeitsgruppen |
|
Kooperationen
| Organisation | Adresse | ||
|---|---|---|---|
dbai Databases and Artificial Intelligence Group TU Wien
|
AT
Wien |
Forschungsaktivitäten
Hier werden alle mit dieser Publikation 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: | Keine verknüpften Publikationen vorhanden |
| Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
| Vorträge: |
|
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden