736 search results - page 69 / 148 » A Science of Reasoning (Extended Abstract) |
COMMA
2008
13 years 9 months ago
2008
Abstract. A recent extension to Dung's argumentation framework allows for arguments to express preferences between other arguments. Value based argumentation can be formalised...
CLIMA
2004
13 years 9 months ago
2004
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
AIIA
2001
Springer
14 years 7 days ago
2001
Springer
Abstract. This paper presents and motivates an extended ontology conceptual model which represents explicitly semantic information about concepts. This model results from explicitl...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
During the last years, argumentation has been gaining increasing interest in modeling different reasoning tasks of an agent. Many recent works have acknowledged the importance of ...