Lecture: Epistemic Logic Programs and How to Solve Them

Master data
Title: Epistemic Logic Programs and How to Solve Them
Description:
Keywords:
Type: Registered lecture
Homepage: https://hvmw.github.io/hvw2019/schedule/
Event: Helmut Veith Memorial Workshop 2019 (Turracher Höhe, Austria)
Date: 20.03.2019
lecture status:

Participants
Michael Morak
Michael.Morak@aau.at
Research activities
To visiting card
(internal)
  • Speaker

Assignment
Organisation Address
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Austria
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
To organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Categorisation
Subject areas
  • 603109 - Logic
  • 102001 - Artificial intelligence
  • 102030 - Semantic technologies
Research Cluster No research Research Cluster selected
Focus of lecture
  • Science to Science (Quality indicator: III)
Classification raster of the assigned organisational units:
Group of participants
  • Mainly international
Published?
  • No
working groups
  • Semantic Systems

Cooperations
No partner organisations selected