Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2005.05886
Cited By
v1
v2
v3 (latest)
Counting Query Answers over a DL-Lite Knowledge Base (extended version)
12 May 2020
Prantik Chatterjee
José Campos
Rui Abreu
Subhajit Roy
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Counting Query Answers over a DL-Lite Knowledge Base (extended version)"
1 / 1 papers shown
Title
HOLL: Program Synthesis for Higher OrderLogic Locking
Gourav Takhar
Ramesh Karri
C. Pilato
Subhajit Roy
78
11
0
25 Jan 2022
1