27 search results - page 2 / 6 » iclp 2005 |
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
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...
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...