Sciweavers

2084 search results - page 2 / 417
» Set Constraints in Logic Programming
Sort
View
LPNMR
2004
Springer
13 years 10 months ago
Set Constraints in Logic Programming
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
V. Wiktor Marek, Jeffrey B. Remmel
IJSSE
2011
127views more  IJSSE 2011»
12 years 12 months ago
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
Sean Policarpio, Yan Zhang
EUSFLAT
2009
114views Fuzzy Logic» more  EUSFLAT 2009»
13 years 2 months ago
The Use of Interval-Valued Probability Measures in Fuzzy Linear Programming: a constraint set approach
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
Phantipa Thipwiwatpotjana, Weldon A. Lodwick