Search Sciweavers | Sciweavers

1512 search results - page 91 / 303

» Description Logic Terminology

click to vote

JIIS
1998

90views more JIIS 1998»

AL-log: Integrating Datalog and Description Logics

13 years 10 months ago

Download www.diegm.uniud.it

Francesco M. Donini, Maurizio Lenzerini, Daniele N...

claim paper

Read More »

click to vote

ISSE
2010

125views Security Privacy» more ISSE 2010»

Lightweight analysis of access control models with description logic

13 years 9 months ago

Download www.artist-embedded.org

Christiano Braga, Edward Hermann Haeusler

claim paper

Read More »

click to vote

KI
2010
Springer

142views Artificial Intelligence» more KI 2010»

Small is Again Beautiful in Description Logics

13 years 9 months ago

Download lat.inf.tu-dresden.de

Franz Baader, Carsten Lutz, Anni-Yasmin Turhan

claim paper

Read More »

click to vote

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

13 years 9 months ago

Download lat.inf.tu-dresden.de

Franz Baader, Marcel Lippmann, Hongkai Liu

claim paper

Read More »

click to vote

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

Inconsistency-Tolerant Semantics for Description Logics

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers