A RECENT STUDY by Druckman and Harris (1990) compared alternative models of responsiveness for goodness of fit to moves made in each of six international negotiations: five were arms control talks, and one was a military base rights negotiation between Spain and the United States. One particular model was found to provide the best fit to the moves made in each of the negotiations. Referred to a...

Place and transition refinements provide a convenient method of structuring complex net models by replacing single elements (places and transitions) at a ‘higher–level’ of abstraction with ‘lower–level’, more detailed, subnets. The concepts of static and dynamic place/transition refinements are introduced. Dynamic refinements do not increase the size of the (refined) model because no ‘expansion...

Refinements generated for a knowledge base often involve the learning of new knowledge to be added to or replace existing parts of a knowledge base. However, the justifiability of the refinement in the context of the domain (domain acceptability) is often overlooked. The work reported in this paper describes an approach to the generation of domain acceptable refinements for incomplete and incor...

A refinement is a predicate on the elements of a type that describes their execution behavior. Much work has gone into developing refinements in a closed world, in which the classes of values of a type are fixed statically, as in the case of the natural numbers with zero and succ. Relatively little work has gone into developing refinements in an open world in which new classes may be added dyna...

A refinement is a predicate on the elements of a type that describes their execution behavior. Much work has gone into developing refinements in a closed world, in which the classes of values of a type are fixed statically, as in the case of the natural numbers with zero and succ. Relatively little work has gone into developing refinements in an open world in which new classes may be added dyna...