BOOK-CHAPTER
Explaining Axiom Pinpointing
Year: 2019 Lecture notes in computer science Pages: 475-496 Publisher: Springer Science+Business Media
Keywords:
Axiom Computer science Debugging Ontology Task (project management) Axiom of choice Theoretical computer science Epistemology Programming language Mathematics Set theory Philosophy Set (abstract data type)
Metrics
2
Cited By
0.53
FWCI (Field Weighted Citation Impact)
70
Refs
0.65
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Semantic Web and Ontologies
Physical Sciences → Computer Science → Artificial Intelligence
Biomedical Text Mining and Ontologies
Life Sciences → Biochemistry, Genetics and Molecular Biology → Molecular Biology
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
BOOK-CHAPTER
Automata-Based Axiom Pinpointing
Lecture notes in computer science Year: 2008 Pages: 226-241
JOURNAL ARTICLE
Automata-Based Axiom Pinpointing
Journal: Journal of Automated Reasoning Year: 2010 Vol: 45 (2)Pages: 91-129
BOOK-CHAPTER
Consequence-Based Axiom Pinpointing
Lecture notes in computer science Year: 2018 Pages: 181-195
BOOK-CHAPTER
Axiom Pinpointing in General Tableaux
Lecture notes in computer science Year: 2007 Pages: 11-27