POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The acceptability semantics for logic programs
Proceedings of the eleventh international conference on Logic programming
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
ACLP: Flexible Solutions to Complex Problems
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Argumentation based decision making for autonomous agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Modular Representation of Agent Interaction Rules through Argumentation
Autonomous Agents and Multi-Agent Systems
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Using argumentation logic for firewall policy specification and analysis
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
Achieving competence by argumentation on rules for roles
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
ABA: argumentation based agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Hi-index | 0.00 |
GORGIAS-C is a system implementing a logic programming framework of argumentation that integrates together preference reasoning and constraint solving. The framework of argumentation with preference reasoning [1,2] was first implemented in the GORGIAS system which hasmainly been used in the multi-agent domain [2,3,4], medical informatics [5] and network security [6].