1462 search results - page 71 / 293 » Autoepistemic Description Logics |
119
Voted
DLOG
2003
15 years 3 months ago
2003
This paper presents an application of a DL reasoner to the optimization of an object-relational query language. Queries containing aggregate functions are difficult to optimize be...
121
click to vote
SYNTHESE
2011
14 years 9 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
83
Voted
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer