Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2003.08298
Cited By
Axiom Pinpointing
Applications and Practices in Ontology Design, Extraction, and Reasoning (PODER), 2020
18 March 2020
Rafael Peñaloza
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Axiom Pinpointing"
2 / 2 papers shown
Enumerating Minimal Unsatisfiable Cores of LTLf formulas
Antonio Ielo
Giuseppe Mazzotta
Rafael Peñaloza
Francesco Ricca
LRM
152
0
0
14 Sep 2024
Union and Intersection of all Justifications
Description Logics (DL), 2021
Jieying Chen
Yue Ma
Rafael Peñaloza
Hui Yang
75
4
0
23 Sep 2021
1
Page 1 of 1
