2858 search results - page 344 / 572 » Logics with Aggregate Operators |
190
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— Secure Semantic Web applications, particularly those involving access control, are typically focused at the application-domain only, rather than taking a more holistic approach...
179
click to vote
TIME
2007
IEEE
16 years 24 days ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
166
click to vote
CPAIOR
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, we investigate to which extent the elimination of a class of redundant clauses in SAT instances could improve the efficiency of modern satisfiability provers. Sinc...
165
click to vote
ISMIS
2005
Springer
16 years 1 days ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
168
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...