On Syntactic Forgetting with relativized Strong Persistence
M. Berthold. Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024, Volume 3835 von CEUR Workshop Proceedings, Seite 173--182. CEUR-WS.org, (2024)
Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024
%0 Conference Paper
%1 DBLP:conf/nmr/Berthold24
%A Berthold, Matti
%B Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024
%D 2024
%E Gierasimczuk, Nina
%E Heyninck, Jesse
%I CEUR-WS.org
%K answer_set_programming forgetting logic_programming topic_knowledge
%P 173--182
%T On Syntactic Forgetting with relativized Strong Persistence
%U https://ceur-ws.org/Vol-3835/paper18.pdf
%V 3835
@inproceedings{DBLP:conf/nmr/Berthold24,
added-at = {2025-03-14T13:23:57.000+0100},
author = {Berthold, Matti},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2c311a00c4e74f07d4e3c3be763cc5bf1/mabe497g},
booktitle = {Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning {(NMR} 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2024), Hanoi, Vietnam, November 2-4, 2024},
editor = {Gierasimczuk, Nina and Heyninck, Jesse},
interhash = {a77ce53210233b3db15657c8a0683ca6},
intrahash = {c311a00c4e74f07d4e3c3be763cc5bf1},
keywords = {answer_set_programming forgetting logic_programming topic_knowledge},
pages = {173--182},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
timestamp = {2025-03-14T13:30:33.000+0100},
title = {On Syntactic Forgetting with relativized Strong Persistence},
url = {https://ceur-ws.org/Vol-3835/paper18.pdf},
volume = 3835,
year = 2024
}