4126 search results - page 31 / 826 » Set based logic programming |
116
Voted
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
15 years 6 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
95
Voted
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM
76
Voted
KR
2004
Springer
15 years 5 months ago
2004
Springer
84
Voted
ASP
2001
Springer
15 years 5 months ago
2001
Springer
LPAR
2001
Springer
15 years 4 months ago
2001
Springer
