Search Sciweavers | Sciweavers

3793 search results - page 100 / 759

» Expressive Description Logics

132

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 3 months ago

Download www.sofsem.cz

Veronika Vaneková, Peter Vojtás

claim paper

Read More »

click to vote

ATAL
2009
Springer

108views Intelligent Agents» more ATAL 2009»

Description logic for coalitions

16 years 1 months ago

Download www.in.tu-clausthal.de

Inanç Seylan, Wojciech Jamroga

claim paper

Read More »

147

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

16 years 29 days ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

135

click to vote

IEEESCC
2007
IEEE

85views Applied Computing» more IEEESCC 2007»

Checking e-service consistency using Description Logics

16 years 21 days ago

Download www.dis.uniroma1.it

Luigi Dragone, Riccardo Rosati

claim paper

Read More »

147

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers