Sciweavers

839 search results - page 35 / 168
» Answer Set Programming with Resources
Sort
View
TOCL
2008
48views more  TOCL 2008»
13 years 8 months ago
Coordination in answer set programming
Chiaki Sakama, Katsumi Inoue
CORR
2010
Springer
60views Education» more  CORR 2010»
13 years 6 months ago
Symmetry Breaking for Answer Set Programming
Christian Drescher
IJSSE
2011
127views more  IJSSE 2011»
13 years 3 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
ASP
2005
Springer
14 years 2 months ago
A New Algorithm for Answer Set Computation
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
Giuliano Grossi, Massimo Marchi