Skip to content
conftrace_

horn fragment

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

loosely guarded fragment (1) ontology-based query answering (1) horn logic (1) boolean conjunctive query (1) belief update (1) belief change (1) query answering (1) propositional logic (1) conjunctive query (1) automated reasoning (1)

Papers

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020 Belief Update in the Horn Fragment IJCAI 2018