This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization o...

In the process of web3D-based collaborative design, it is necessary to completely prevent operation conflicts among designers due to distributed environments and complex 3D models. Therefore, conflict detection and conflict resolution are of great significance to attain an acceptable result. In order to facilitate effective and smooth design work, a symmetry-based collaborative design framework...

Conflict resolution is an important part of many intelligent systems such as production systems, planning tools and cognitive architectures. For example, the ACT–R cognitive architectire [Anderson and Lebiere, 1998] uses a powerful conflict resolution theory that allowed for modelling many characteristics of human decision making. The results of more recent works, however, pointed to the need o...

There are Various motives that some of them can help to resolving interpersonal conflicts and others may prevent its resolve. According to the regulation style theory, the motivation for change, i.e. the desire to come out of the current state of conflict, can help to conflict resolution, but there is an opposite motivation, one that prevents the resolution of the conflict, and it is the motiva...

Conflict detection and resolution (CD&R) systems predict loss of separation between aircraft and propose conflict avoidance maneuvers for the aircraft involved in the conflict. Given a pair of aircraft in conflict, the ownship and the intruder, the resolution system diverts the ownship from its original trajectory. In this paper, we introduce the concept of recovery course. A recovery course re...

Relationships among marital satisfaction, personality, felt and expressed affects, and conflict resolution during conflict discussions of married couples were assessed. Specific affects were measured using a behavioral coding system (SPAFF) and a self-report measure (POMS). Correlations between behaviorally coded and self-reported affects varied across specific emotions. Generally, self-reporte...

Resolving conflict is a pivotal self-control ability for human adaptation and survival. Although some studies reported meditation may affect conflict resolution, the neural mechanisms are poorly understood. We conducted a fully randomized 5 h trial of one form of mindfulness meditation-integrative body-mind training (IBMT) in comparison to a relaxation training control. During the Stroop word-c...

As a security mechanism, authorization is to provide access control to the system resources according to the polices and rules specified by the security strategies. Either by update or in the initial specification, conflicts in authorization is an issue needs to be solved. In this paper, we propose a new approach to solve conflict by using prioritized logic programs and discuss the uniqueness o...