Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications

Kai Sauerwald; Matthias Thimm (Hrsg). Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023). Aachen: CEUR/RWTH 2023 S. 129 - 132

Erscheinungsjahr: 2023

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Website
Geprüft:Bibliothek

Inhaltszusammenfassung


  • answer set programming
  • conformance checking
  • declarative process specifications
  • inconsistency measurement
  • linear temporal logic
  • satisfiability checking

Autoren


Kuhlmann, Isabelle (Autor)
Corea, Carl (Autor)
Grant, John (Autor)

Beteiligte Einrichtungen