Search Sciweavers | Sciweavers

1582 search results - page 104 / 317

» On Higher-Order Description Logics

click to vote

CORR
2000
Springer

106views Education» more CORR 2000»

Practical Reasoning for Very Expressive Description Logics

14 years 9 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Ulrike Sattler, Stephan Tobies

claim paper

Read More »

click to vote

JIIS
1998

90views more JIIS 1998»

AL-log: Integrating Datalog and Description Logics

14 years 9 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

14 years 8 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

14 years 8 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

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers