Sciweavers

1613 search results - page 29 / 323
» Functional and Constraint Logic Programming
Sort
View
91
Voted
SLP
1990
121views more  SLP 1990»
15 years 3 months ago
Analysis of Constraint Logic Programs
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
Kim Marriott, Harald Søndergaard
150
Voted
CORR
2006
Springer
126views Education» more  CORR 2006»
15 years 2 months ago
Logic programs with monotone abstract constraint atoms
Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...
104
Voted
HEURISTICS
2002
62views more  HEURISTICS 2002»
15 years 2 months ago
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
63
Voted
INFORMS
2002
40views more  INFORMS 2002»
15 years 2 months ago
Logic, Optimization, and Constraint Programming
John N. Hooker
142
Voted
IJSSE
2011
127views more  IJSSE 2011»
14 years 9 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