Publikation: Strong Equivalence for Epistemic Logic ...
Stammdaten
Titel: | Strong Equivalence for Epistemic Logic Programs Made Easy: Extended Abstract |
Untertitel: | |
Kurzfassung: | |
Schlagworte: |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 2019 (Print) |
Erschienen in: |
Proceedings 35th International Conference on Logic Programming (Technica Communications), {ICLP} 2019 Technical Communications
Proceedings 35th International Conference on Logic Programming (Technica Communications), {ICLP} 2019 Technical Communications
(
)
zur Publikation |
Titel der Serie: | Electronic Proceedings in Theoretical Computer Science |
Bandnummer: | 306 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 365 - 366 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | |
ISBN (e-book): | - |
eISSN: | - |
DOI: | http://dx.doi.org/10.4204/EPTCS.306.47 |
Homepage: | - |
Open Access |
|
Erscheinungsdatum: | 2019 |
ISBN: | - |
ISSN: | - |
Homepage: | - |
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: | Keine verknüpften Vorträge vorhanden |
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden