Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
A multi-level approach and infrastructure for agent-oriented software development
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
IEEE Intelligent Systems
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web
ICPW '07 Proceedings of the 2nd international conference on Pragmatic web
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Cross-community interoperation between the EMERALD and rule responder multi-agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
EMERALD: a multi-agent system for knowledge-based reasoning interoperability in the semantic web
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Prova: rule-based java scripting for distributed web applications
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Advanced agent discovery services
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Picking up the best goal: an analytical study in defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |
The Semantic Web aims to offer an interoperable environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents' interoperability; especially in the areas of ontology-based metadata and rule-based reasoning. Nevertheless, the SW proof layer has been neglected so far, although it is vital for agents and humans to understand how a result came about, in order to increase the trust in the interchanged information. This paper focuses on the implementation of third party SW reasoning and proofing services wrapped as agents in a multi-agent framework. This way, agents can exchange and justify their arguments without the need to conform to a common rule paradigm. Via external reasoning and proofing services, the receiving agent can grasp the semantics of the received rule set and check the validity of the inferred results.