2035 search results - page 101 / 407 » On the complexity of stratified logics |
217
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Date's popular critique of SQL's three-valued logic [4, 3] purports to demonstrate that SQL queries can produce erroneous results when nulls are present in the database....
144
click to vote
AUSAI
2007
Springer
16 years 15 days ago
2007
Springer
In this paper we show how to capture dialogue games in Defeasible Logic. We argue that Defeasible Logic is a natural candidate and general representation formalism to capture dialo...
159
click to vote
ICCS
2007
Springer
16 years 14 days ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
159
click to vote
PPSWR
2005
Springer
15 years 11 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
165
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...