Search Sciweavers | Sciweavers

3793 search results - page 100 / 759

» Expressive Description Logics

106

click to vote

SOFSEM
2010
Springer

137views Theoretical Computer Science» more SOFSEM 2010»

Comparison of Scoring and Order Approach in Description Logic EL(D)

16 years 29 days ago

Download www.sofsem.cz

Veronika Vaneková, Peter Vojtás

claim paper

Read More »

Voted

ATAL
2009
Springer

108views Intelligent Agents» more ATAL 2009»

Description logic for coalitions

15 years 10 months ago

Download www.in.tu-clausthal.de

Inanç Seylan, Wojciech Jamroga

claim paper

Read More »

115

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

15 years 10 months ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

109

click to vote

IEEESCC
2007
IEEE

85views Applied Computing» more IEEESCC 2007»

Checking e-service consistency using Description Logics

15 years 10 months ago

Download www.dis.uniroma1.it

Luigi Dragone, Riccardo Rosati

claim paper

Read More »

123

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers