Sciweavers

182 search results - page 5 / 37
» Reformulation of Global Constraints in Answer Set Programmin...
Sort
View
AAAI
2000
15 years 7 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
133
Voted
ASP
2001
Springer
15 years 10 months ago
Tabular Constraint-Satisfaction Problems and Answer Set Programming
Raphael A. Finkel, Victor W. Marek, Miroslaw Trusz...
139
Voted
AAAI
2006
15 years 7 months ago
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
Tran Cao Son, Enrico Pontelli, Phan Huy Tu
190
Voted
IJSSE
2011
127views more  IJSSE 2011»
15 years 23 days 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