53 search results - page 1 / 11 » Treating Quantifiers in Database Semantics |
93
Voted
EJC
2006
15 years 5 months ago
2006
119
Voted
TABLEAUX
2000
Springer
15 years 7 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...
128
Voted
AIML
2006
15 years 5 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...
140
Voted
DEXA
2000
Springer
15 years 7 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...
124
Voted
AAAI
2008
15 years 5 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...