Search Sciweavers | Sciweavers

1582 search results - page 90 / 317

» On Higher-Order Description Logics

click to vote

RULEML
2004
Springer

104views Internet Technology» more RULEML 2004»

Well-Founded Semantics for Description Logic Programs in the Semantic Web

15 years 3 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

15 years 2 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

click to vote

KES
2009
Springer

85views Information Technology» more KES 2009»

Multi Criteria Decision Making in Fuzzy Description Logics: A First Step

15 years 2 months ago

Download gaia.isti.cnr.it

Umberto Straccia

claim paper

Read More »

click to vote

IPPS
2000
IEEE

161views Distributed And Parallel Com...» more IPPS 2000»

Compiling Process Algebraic Descriptions into Reconfigurable Logic

15 years 2 months ago

Download ipdps.cc.gatech.edu

Oliver Diessel, George J. Milne

claim paper

Read More »

click to vote

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers