Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
An argumentation semantics for logic programming with explicit negation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
ACM Computing Surveys (CSUR)
Reasoning with Logic Programming
Reasoning with Logic Programming
Automated argument system based on logic of multiple-valued argumentation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Transforming Natural Arguments in Araucaria to Formal Arguments in LMA
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
An Integrated Argumentation Environment for Arguing Agents
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Applying the Logic of Multiple-Valued Argumentation to Social Web: SNS and Wikipedia
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics
Agent Computing and Multi-Agent Systems
The Logic of Multiple-Valued Argumentation and its Applications to Web TechnologyExtended Abstract
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Basic influence diagrams and the liberal stable semantics
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Agent Dialogue as Partial Uncertain Argumentation and its Fixpoint Semantics
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argumentation system with changes of an agent's knowledge base
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Syncretic Argumentation by Means of Lattice Homomorphism
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
An integrated argumentation environment for arguing agents
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
A hybrid argumentation of symbolic and neural net argumentation (Part I)
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
A hybrid argumentation of symbolic and neural net argumentation (Part II)
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Syncretic argumentation by lattice homomorphism and fusion
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
AASLMA: an automated argument system based on logic of multiple-valued argumentation
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Syncretic argumentation for multi-agents by lattice homomorphism, fusion and sum
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Structural properties for deductive argument systems
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
| Hi-index | 0.00 |
This paper provides a new departure from the traditional two-valued argumentation frameworks. We address ourselves to formalize an expressive logic of argumentation, called a Logic of Multiple-valued Argumentation (LMA), on top of the very expressive knowledge representation language, called Extended Annotated Logic Programming (EALP), and examine its logical properties in various ways. EALP allows us to represent different kinds of uncertainty such as vagueness and inconsistency (or paraconsistency) in terms of multi-valuedness, and incompleteness with the help of default negation. LMA is a full-dress logic of argumentation in which agents can argue with other contenders, using multiple-valued knowledge base in terms of EALP.