Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications

Authors:
Daniel Bryant;Paul J. Krause;Gerard A. W. Vreeswijk
Affiliations:
Department of Computing, University of Surrey, GU2 7XH, UK;Department of Computing, University of Surrey, GU2 7XH, UK;Department of Information and Computing Sciences, Universiteit Utrecht, 3508 TA Utrecht, The Netherlands
Venue:
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Year:
2006

Citing 6
Cited 11

Dialectic semantics for argumentation frameworks

ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Service -Oriented Computing: Concepts, Characteristics and Directions

WISE '03 Proceedings of the Fourth International Conference on Web Information Systems Engineering
Defeasible logic programming: an argumentative approach

Theory and Practice of Logic Programming
Using arguments for making decisions: a possibilistic logic approach

UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A logic programming framework for possibilistic argumentation with vague knowledge

UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Multi-paradigm Java-Prolog integration in tuProlog

Science of Computer Programming

The architecture and design of a malleable object-oriented prolog engine

Proceedings of the 2008 ACM symposium on Applied computing
A review of current defeasible reasoning implementations

The Knowledge Engineering Review
Focused search for arguments from propositional knowledge

Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Encoding deductive argumentation in quantified Boolean formulae

Artificial Intelligence
An argumentative reasoning service for deliberative agents

KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Algorithms for effective argumentation in classical propositional logic: a connection graph approach

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Review:

The Knowledge Engineering Review
Dialectical Proofs for Constrained Argumentation

Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Algorithms for generating arguments and counterarguments in propositional logic

International Journal of Approximate Reasoning
A generalised framework for dispute derivations in assumption-based argumentation

Artificial Intelligence
Argumentation-logic for creating and explaining medical hypotheses

Artificial Intelligence in Medicine

Quantified Score

Hi-index	0.00

Visualization

Abstract

Argumentation is becoming increasingly important in the design and implementation of autonomous software agents. We believe that agents engaged in decision-making and reasoning should have access to a general purpose argumentation engine that can be configured to conform to one of a range of semantics. In this paper we discuss our current work on a prototype light-weight Java-based argumentation engine that can be used to implement a non-monotonic reasoning component in Internet or agent-based applications.