A modal logic based approach to schema integration
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
Schema integration framed in modal logic
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
A Gentle Introduction to System Verification
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
A framework for determining design correctness
Knowledge-Based Systems
Hi-index | 0.00 |
A conflict situation in a multi-agent system is often considered to be one in which the negotiation set is empty, i.e. when the goals of the individual agents are incompatible. In a complex system, it may be practically impossible to determine whether a conflict actually prevails. Moreover, even if the multi-agent system can be proven consistent, it may be difficult to determine whether or not it is reasonable for the agents to actually reach their goals. Sometimes, the agents could be forced to abandon possible paths leading to individually desirable goals because risk constraints are imposed on the analysis. We consider coalitions in which members may veto the remitted goals of fellow members, because of the presence of such constraints.