Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment

Tytuł: Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
Tytuł publikacji grupowej: Lecture Notes in Computer Science ; 12678
Tytuł pracy zbiorowej: Logics in Artificial Intelligence : 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings
Twórca: Bednarczyk, Bartosz
Strony: S. 179-193
Opis: Przy nazwisku Bartosz Bednarczyk podwójna afiliacja : Computational Logic Group, Technische Universität Dresden, Dresden, Germany oraz Institute of Computer Science, University of Wrocław, Wrocław, Poland.
Wydawca: Springer
Miejsce wydania: Cham
Data wydania: 2021
Typ: Tekst
Identyfikator: ISBN 9783030757748 ; https://doi.org/10.1007/978-3-030-75775-5_13
Język publikacji: eng
Wersja Cyfrowa: https://doi.org/10.1007/978-3-030-75775-5_13
Szczegółowy typ obiektu: rozdz
Typ obiektu: Rozdział