Search Sciweavers | Sciweavers

1512 search results - page 73 / 303

» Description Logic Terminology

124

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 2 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 13 days ago

Download www.in.tu-clausthal.de

Inanç Seylan, Wojciech Jamroga

claim paper

Read More »

138

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

16 years 13 days ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

130

click to vote

IEEESCC
2007
IEEE

85views Applied Computing» more IEEESCC 2007»

Checking e-service consistency using Description Logics

16 years 5 days ago

Download www.dis.uniroma1.it

Luigi Dragone, Riccardo Rosati

claim paper

Read More »

140

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers