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

DOI10.1007/978-3-030-75775-5_13OpenAlexW3162533888MaRDI QIDQ2055791

Bartosz Bednarczyk

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_13

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elements of finite model theory.
• On the complexity of the two-variable guarded fragment with transitive guards
• Modal languages and bounded fragments of predicate logic
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
• An Introduction to Description Logic
• Complexity of the Guarded Two-variable Fragment with Counting Quantifiers
• Alternation
• On the Restraining Power of Guards
• THE FLUTED FRAGMENT REVISITED
• The Freedoms of (Guarded) Bisimulation
• Querying the Guarded Fragment with Transitivity

This page was built for publication: Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment