Search Sciweavers | Sciweavers

1462 search results - page 71 / 293

» Autoepistemic Description Logics

156

click to vote

DLOG
2003

105views Automated Reasoning» more DLOG 2003»

Rewriting Aggregate Queries using Description Logic

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

This paper presents an application of a DL reasoner to the optimization of an object-relational query language. Queries containing aggregate functions are diﬃcult to optimize be...

David DeHaan, David Toman, Grant E. Weddell

claim paper

Read More »

167

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 »

127

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