Back to Results
First PageMeta Content
Artificial intelligence / Logic in computer science / Non-classical logic / Constructible universe / Fuzzy set / Logic / Mathematical logic / Fuzzy logic


A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB Fernando Bobillo1 and Umberto Straccia2 1 Dpt. of Computer Science & Systems Engineering, University of Zaragoza, Spain
Add to Reading List

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

Open Document

File Size: 369,49 KB

Share Result on Facebook

City

A MILP / Pisa / /

Country

Spain / /

/

Facility

University of Zaragoza / /

IndustryTerm

final solution / Web Ontology Language / tableau algorithms / tableau algorithm / /

Organization

University of Zaragoza / /

Position

General / head / /

Product

F 18 / /

ProgrammingLanguage

K / /

Technology

tableau algorithm / existing OR-based tableau algorithms / reasoning algorithm / artificial intelligence / tableau algorithms / existing algorithms / automata-based algorithms / fuzzy logic / /

URL

http /

SocialTag