The conflict resolution method, introduced by the authors in [1] is a new method for solving systems of linear inequalities over the rational and real numbers. This paper investigates various heuristics for optimisation of the method and presents experimental evaluation. The method and heuristics are evaluated against various benchmarks and compared to other methods, such as the FourierMotzkin ...

The three thematic papers in this issue, and the guest editorial by John, Lord Alderice, speak for themselves and pointedly and poignantly show how psychiatrists cannot abdicate from the challenge of reconciliation and conflict resolution, whether this is within families, across ethnic or political divides or in the aftermath of war. The understanding of group dynamics, the mechanisms of projec...

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive...

We show how defeasible reasoning can be embedded into ABF. Differently from other proposals, we do not encode the conflict resolution mechanism for defeasible rules into the ABF’s deductive systems. Instead, we formalize the notions of conflict and conflict resolution and make them part of the extended ABF framework (XABF). This improves the control over the conflict resolution process, and all...

abstract atrak basin is an agricultural area in north khorasan province that the most farmers are using from groundwater resources for irrigation their crops. decreasing rainfall in recent years in this area, competition between urban, agriculture and industrial consumers has increased for water acquisition. in present study, game theory was applied for groundwater resources management of atrak...

In this article the authors consider the interplay between conflict and globalization, arguing that the interaction between globalization and conflict is complex. While much has been written on how globalization generates or accentuates conflict little has been written on how conflict and globalization interact to produce both positive and negative results.

Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven learning and related techniques constitute key features whose application is enabled by conflict analysis. Although various conflict analysis schemes have been proposed, implemented, and studied both theoretically and p...