53 search results - page 1 / 11 » Treating Quantifiers in Database Semantics |
EJC
2006
13 years 7 months ago
2006
TABLEAUX
2000
Springer
13 years 9 months ago
2000
Springer
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a n...
AIML
2006
13 years 7 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
DEXA
2000
Springer
13 years 9 months ago
2000
Springer
This paper is mainly concerned with the extension of database management systems querying capabilities, so that users may address queries involving preferences and get discriminate...
AAAI
2008
13 years 8 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...