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
  • Online verfügbar (Open Access)
Erscheinungsdatum: 2019
ISBN: -
ISSN: -
Homepage: -

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Österreich
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung
Sachgebiete
  • 102001 - Artificial Intelligence
  • 102030 - Semantische Technologien
Forschungscluster Kein Forschungscluster ausgewählt
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen
  • Semantic Systems

Kooperationen
Organisation Adresse
dbai Databases and Artificial Intelligence Group TU Wien
Wien
Österreich
AT  Wien

Beiträge der Publikation
Keine verknüpften Publikationen vorhanden