Skip to content
conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Insights
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Insights
Achievements
Home
›
Keywords
›
loosely guarded fragment
loosely guarded fragment
1 paper
Explore in graph
Co-occurring keywords
· papers mentioning both
horn fragment
(1)
ontology-based query answering
(1)
horn logic
(1)
boolean conjunctive query
(1)
query answering
(1)
conjunctive query
(1)
automated reasoning
(1)
Papers
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
AAAI 2020
<
1
>