Back to Results
First PageMeta Content
Mathematical logic / Norm / T-norm / Monoidal t-norm logic / Logarithm / Function / Łukasiewicz logic / Valuation / Sheaf / Mathematics / Fuzzy logic / Logic


Complexity Sources in Fuzzy Description Logic Marco Cerami1,? and Umberto Straccia2 1 Palack´ y University in Olomouc, Czech Republic
Add to Reading List

Document Date: 2014-07-07 10:05:54


Open Document

File Size: 327,22 KB

Share Result on Facebook

City

Olomouc / Pisa / /

Company

hNI / /

Country

Italy / Czech Republic / /

/

Event

Product Issues / Product Recall / /

IndustryTerm

structural subsumption algorithm / tableaux algorithm / classical tableau algorithm / structural algorithms / classical tableau-based algorithms / polynomial time algorithm / structural subsumption algorithms / classical-like algorithms / simpler classical-like algorithm / still defining structural subsumption algorithms / tableau algorithm / /

Organization

AI (v) / European Social Fund / /

Position

representative / /

Product

fresh constraint trees / /

ProgrammingLanguage

FL / /

Technology

structural subsumption algorithms / classical-like algorithms / classical tableau-based algorithms / 4 Structural Subsumption Algorithms / following Algorithm / still defining structural subsumption algorithms / structural subsumption algorithm / The algorithms / artificial intelligence / polynomial time algorithm / simpler classical-like algorithm / classical tableau algorithm / tableau algorithm / modified algorithm / same algorithm / ALE / tableau-based algorithm / tableaux algorithm / Tableau-like algorithms / /

SocialTag