Search Sciweavers | Sciweavers

1435 search results - page 112 / 287

» E-connections of Description Logics

172

click to vote

SYNTHESE
2011

87views more SYNTHESE 2011»

What will they say? - Public Announcement Games

15 years 1 months ago

Download www.cs.otago.ac.nz

Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...

Thomas Ågotnes, Hans P. van Ditmarsch

claim paper

Read More »

129

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 28 days ago

Download www.in.tu-clausthal.de

Inanç Seylan, Wojciech Jamroga

claim paper

Read More »

146

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

16 years 27 days ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

133

click to vote

IEEESCC
2007
IEEE

85views Applied Computing» more IEEESCC 2007»

Checking e-service consistency using Description Logics

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers