Saturation-Based Querying Procedures for the Clique-Guarded Negation Fragment

Zheng, S. (Speaker)

Autonomy and Verification

Activity: Talk or presentation › Invited talk › Research

Description

An invited talk given at AI Summer School, Nanjing University, 2023

Period	20 Jul 2023
Held at	Nanjing University, China
Degree of Recognition	International

Keywords

query answering
clique-guarded negation fragment

Related content

Research output
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
Research output: Contribution to journal › Article › peer-review