Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
ACM Computing Surveys (CSUR)
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A Logic of Multiple-Valued Argumentation
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
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
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
Hi-index | 0.00 |
Extended Annotated Logic Programming (EALP) for argumentation knowledge and Logic of Multiple-valued Argumentation (LMA) built on top of EALP are outlined together with its implementation. We then explore a new application area of argumentation in the present rapidly growing web technology, and demonstrate the basic features and advantages of Automated Argument System based on Logic of Multiple-Valued Argumentation by specializing it to two argument systems derived from LMA: (i) an argument-based recommender system, and (ii) an integrated system of semantic web reasoning and argument-based reasoning.