Sciweavers

3053 search results - page 63 / 611
» A Logic of Abstract Argumentation
Sort
View
ICLP
2003
Springer
15 years 11 months ago
A Tutorial on Proof Theoretic Foundations of Logic Programming
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
Paola Bruscoli, Alessio Guglielmi
ER
2007
Springer
82views Database» more  ER 2007»
16 years 16 days ago
Tracing the Rationale Behind UML Model Change Through Argumentation
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
Ivan Jureta, Stéphane Faulkner
AUSAI
2004
Springer
15 years 11 months ago
Improving the Presentation of Argument Interpretations Based on User Trials
Abstract. The interpretation of complex discourse, such as arguments, is a difficult task that often requires validation, i.e., a system may need to present its interpretation of ...
Ingrid Zukerman, Michael Niemann, Sarah George
COMMA
2010
15 years 1 months ago
Pipelining Argumentation Technologies
Abstract. Software tools for working with argument generally exist as large systems that wrap their entire feature set in the application as a whole. This approach, while perfectly...
Mark Snaith, Joseph Devereux, John Lawrence, Chris...
ATAL
1997
Springer
15 years 10 months ago
A Framework for Argumentation-Based Negotiation
Abstract. Many autonomous agents operate in domains in which the cooperation of their fellow agents cannot be guaranteed. In such domains negotiation is essential to persuade other...
Carles Sierra, Nicholas R. Jennings, Pablo Noriega...