4737 search results - page 236 / 948 » The LOGIC negotiation model |
248
click to vote
DBSEC
2010
15 years 7 months ago
2010
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
175
click to vote
IS
2006
15 years 7 months ago
2006
Abstract. Terms which are not explicitly mentioned in the text of a document receive often a minor role in current retrieval systems. In this work we connect the management of such...
179
click to vote
ENTCS
2002
15 years 7 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
213
click to vote
LPNMR
2005
Springer
16 years 21 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
228
click to vote
AGP
2003
IEEE
16 years 15 days ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...