3773 search results - page 228 / 755 » Logical Reasoning |
150
click to vote
HIS
2003
15 years 6 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
169
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. Conjunctive query answering plays a prominent role in applications of description logics (DLs) that involve instance data, but its exact complexity was a long-standing op...
135
click to vote
AMAI
2006
Springer
15 years 5 months ago
2006
Springer
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
178
click to vote
DEON
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
145
click to vote
LPNMR
1995
Springer
15 years 9 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...