About Gorgias B
The Gorgias B tool is based on Gorgias. Gorgias is a general argumentation framework that combines the ideas of preference reasoning and abduction in a way that preserves the benefits of both of them. It can form the basis for reasoning about adaptable preference policies in the face of incomplete information from dynamic and evolving environments.
The following references can help an interested reader to get to know how gorgias works:
- A. C. Kakas, P. Mancarella, and Phan Minh Dung. 1994. The acceptability semantics for logic programs. In Proceedings of the eleventh international conference on Logic programming, Pascal Van Hentenryck (Ed.). MIT Press, Cambridge, MA, USA, 504-519.
- Y. Dimopoulos, A. C. Kakas: Logic Programming without Negation as Failure. Proceedings of the 1995 International Symposium on Logic Programming, pp. 369-383, 1995
- N. Demetriou, A. C. Kakas: Argumentation with Abduction. Proceedings of the 4th Panhellenic Symposium on Logic, 2003
- A. Kakas and P. Moraitis. 2003. Argumentation based decision making for autonomous agents. In Proceedings of the second international joint conference on Autonomous agents and multiagent systems (AAMAS '03). ACM, New York, NY, USA, 883-890
The Gorgias-B team consists of:
Prof Antonis Kakas, University of Cyprus
Prof Pavlos Moraitis, Paris-Descartes University
Dr Nikolaos Spanoudakis, Technical University of Crete
We would like to thank Ms Shabana Shaikh for preparing the responsive site template.
The tool's name comes from the Sicilian philosopher Gorgias.