426 search results - page 20 / 86 » Combining Answer Sets of Nonmonotonic Logic Programs |
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
14 years 1 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 ...
DALT
2008
Springer
13 years 9 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
ASP
2003
Springer
14 years 25 days ago
2003
Springer
ASP
2001
Springer
14 years 3 days ago
2001
Springer
AAAI
2006
13 years 9 months ago
2006
