599 search results - page 3 / 120 » Integrating answer set programming and constraint logic prog... |
114
Voted
LPNMR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
AAAI
2006
15 years 1 months ago
2006
114
click to vote
IJSSE
2011
14 years 6 months ago
2011
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...
115
click to vote
ASP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
113
click to vote
AAAI
2000
15 years 29 days ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...