Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies.
Yuxin YeDantong OuyangJing SuPublished in: IWOST-1 (2015)
Keyphrases
- logic programming
- np complete
- probabilistic logic
- textual entailment
- model based diagnosis
- hardware designs
- free text
- inference rules
- web resources
- recognizing textual entailment
- natural language processing
- fault localization
- novice programmers
- snomed ct
- data sets
- modal logic
- real time
- non binary
- single channel
- neural network
- java programs