599 search results - page 36 / 120 » Integrating answer set programming and constraint logic prog... |
132
Voted
APAL
2005
15 years 3 months ago
2005
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
145
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...
141
click to vote
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
211
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
149
Voted
EPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...