Sciweavers

182 search results - page 5 / 37
» Reformulation of Global Constraints in Answer Set Programmin...
Sort
View
AAAI
2000
14 years 10 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski
ASP
2001
Springer
15 years 1 months ago
Tabular Constraint-Satisfaction Problems and Answer Set Programming
Raphael A. Finkel, Victor W. Marek, Miroslaw Trusz...
IJSSE
2011
127views more  IJSSE 2011»
14 years 4 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