Binary Absorption in Tableaux-Based Reasoning for Description Logics

Title Binary Absorption in Tableaux-Based Reasoning for Description Logics
Author
Alexander Hudek
Grant Weddell
Year of Publication
2006
Conference Name
Binary Absorption in Tableaux-Based Reasoning for Description Logics
URL
http://ceur-ws.org/Vol-189/submission_34.pdf
Download citation