2012 search results - page 23 / 403 » CORAL - Control, Relations and Logic |
137
click to vote
SUM
2010
Springer
15 years 2 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
276
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
149
Voted
TBILLC
2007
Springer
15 years 10 months ago
2007
Springer
119
Voted
GRC
2005
IEEE
15 years 10 months ago
2005
IEEE