Search Results for author:
Found 3 papers, 0 papers with code
Signature-Based Abduction for Expressive Description Logics -- Technical Report
Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge.
ABox Abduction via Forgetting in ALC (Long Version)
Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge.
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
Overall, the results showed bottom-up model generation methods were good for disproving theorems and generating models for satisfiable problems, but less efficient than SPASS in auto mode for unsatisfiable problems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
