472 search results - page 3 / 95 » Limiting Negations in Formulas |
103
Voted
FLAIRS
2007
15 years 1 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
VALUETOOLS
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we are interested in solving Markovian queueing systems having Poisson batch arrivals, exponential servers and negative customers. Preconditioned conjugate gradient...
113
Voted
ACL
1990
15 years 24 days ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...
106
Voted
STOC
2007
ACM
15 years 12 months ago
2007
ACM
The quantum adversary method is one of the most successful techniques for proving lower bounds on quantum query complexity. It gives optimal lower bounds for many problems, has ap...
106
Voted
DEXA
2010
Springer
14 years 11 months ago
2010
Springer
We consider the containment problem for conjunctive queries with atomic negation. Firstly, we refine an existing algorithm based on homomorphism checks, which itself improves other...