Sciweavers

977 search results - page 22 / 196
» Logic programming with infinite sets
Sort
View
52
Voted
AAAI
2006
15 years 1 months ago
Elementary Sets of Logic Programs
Martin Gebser, Joohyung Lee, Yuliya Lierler
126
Voted
IJSSE
2011
127views more  IJSSE 2011»
14 years 7 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
119
Voted
NETWORKS
2006
15 years 11 days ago
Extreme point characterizations for infinite network flow problems
We study capacitated network flow problems with supplies and demands defined on a countably infinite collection of nodes having finite degree. This class of network flow models in...
H. Edwin Romeijn, Dushyant Sharma, Robert L. Smith