1020 search results - page 28 / 204 » Tight Semantics for Logic Programs |
152
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
133
Voted
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
15 years 8 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 ...
145
click to vote
FOIKS
2008
Springer
15 years 4 months ago
2008
Springer
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 ...
94
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
95
Voted
SUM
2007
Springer
15 years 8 months ago
2007
Springer
