scientific article

zbMath0963.68525MaRDI QIDQ2723427

Peter F. Patel-Schneider

Publication date: 5 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

OWL reasoning: subsumption test hardness and modularity, Unnamed Item, SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation, EXPtime tableaux for ALC