Sciweavers

2911 search results - page 53 / 583
» A Logic of Graph Constraints
Sort
View
HEURISTICS
2002
62views more  HEURISTICS 2002»
15 years 11 days ago
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
52
Voted
INFORMS
2002
40views more  INFORMS 2002»
15 years 8 days ago
Logic, Optimization, and Constraint Programming
John N. Hooker
40
Voted
CORR
2010
Springer
70views Education» more  CORR 2010»
14 years 11 months ago
Bounded Reachability for Temporal Logic over Constraint Systems
Marcello M. Bersani, Achille Frigeri, Angelo Morze...
127
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