Search Sciweavers | Sciweavers

1966 search results - page 92 / 394

» Description Logics and Planning

149

click to vote

CORR
2000
Springer

106views Education» more CORR 2000»

Practical Reasoning for Very Expressive Description Logics

15 years 6 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Ulrike Sattler, Stephan Tobies

claim paper

Read More »

124

click to vote

JIIS
1998

90views more JIIS 1998»

AL-log: Integrating Datalog and Description Logics

15 years 6 months ago

Download www.diegm.uniud.it

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

claim paper

Read More »

143

click to vote

ISSE
2010

125views Security Privacy» more ISSE 2010»

Lightweight analysis of access control models with description logic

15 years 4 months ago

Download www.artist-embedded.org

Christiano Braga, Edward Hermann Haeusler

claim paper

Read More »

111

click to vote

KI
2010
Springer

142views Artificial Intelligence» more KI 2010»

Small is Again Beautiful in Description Logics

15 years 4 months ago

Download lat.inf.tu-dresden.de

Franz Baader, Carsten Lutz, Anni-Yasmin Turhan

claim paper

Read More »

130

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers