Sciweavers

498 search results - page 5 / 100
» Constraint Answer Set Programming Systems
Sort
View
96
Voted
ASP
2001
Springer
15 years 6 months ago
Tabular Constraint-Satisfaction Problems and Answer Set Programming
Raphael A. Finkel, Victor W. Marek, Miroslaw Trusz...
100
Voted
AAAI
2006
15 years 3 months ago
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
Tran Cao Son, Enrico Pontelli, Phan Huy Tu
140
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
116
Voted
ICLP
2005
Springer
15 years 7 months ago
Towards an Integration of Answer Set and Constraint Solving
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
Sabrina Baselice, Piero A. Bonatti, Michael Gelfon...