Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
S. Woltran, R. Goncalves, T. Janhunen, M. Knorr, J. Leite:
"Variable Elimination for DLP-Functions";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Tempe, Arizona, USA;
27.10.2018
- 02.11.2018; in: "AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning",
AAAI,
(2018),
S. 643
- 644.
Kurzfassung englisch:
Forgetting, or the elimination of middle variables no longer deemed relevant, has recently gained considerable interest in the context of Answer Set Programming (ASP), notably due to the formalization of strong persistence, a property based on strong equivalence between the program and the result of forgetting modulo the atoms being eliminated, which seems to adequately encode the requirements of the forgetting operation. Whereas it has been shown that in general, in ASP, it is not always possible to forget and obey strong persistence, the structure of modules in the form of DLP-functions, namely their restricted interface, invites the investigation of a weaker notion of persistence based on uniform equivalence.
Schlagworte:
Answer Set Programming; Forgetting; Modules
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_273303.pdf
Zugeordnete Projekte:
Projektleitung Stefan Woltran:
START
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.