ResearchTrend.AI
Counting Query Answers over a DL-Lite Knowledge Base (extended version)
v1v2v3 (latest)

Counting Query Answers over a DL-Lite Knowledge Base (extended version)

Prantik Chatterjee
José Campos
Rui Abreu
Subhajit Roy
ArXiv (abs)PDFHTML

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
HOLL: Program Synthesis for Higher OrderLogic Locking
Gourav Takhar
Ramesh Karri
C. Pilato
Subhajit Roy
78
11
0
25 Jan 2022