130 search results - page 2 / 26 » On the Complexity of Linking Deductive and Abstract Argument... |
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotichanism is based on an abstract preference based argumentation fr...
KBSE
1998
IEEE
13 years 10 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
ATAL
2009
Springer
14 years 11 days ago
2009
Springer
We introduce and investigate a natural extension of Dung’s well-known model of argument systems in which attacks are associated with a weight, indicating the relative strength o...
JELIA
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
AI
2002
Springer
13 years 5 months ago
2002
Springer
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...