Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring

Activity: Talk or presentationTalk at conference or symposiumScience to science

Period2019
Event titleInternational Conference on Logic Programming
Event typeConference

ASJC Scopus subject areas

  • Artificial Intelligence

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)