A Tableau-based Reasoning Method for Four-valued Description Logic $ALC$

Wenzhao Qiao, Nico Roos

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

Fingerprint

Dive into the research topics of 'A Tableau-based Reasoning Method for Four-valued Description Logic $ALC$'. Together they form a unique fingerprint.

Keyphrases

INIS

Computer Science