•  86
    Modular argumentation for modelling legal doctrines of performance relief
    with Phan Minh Thang and Phan Minh Dung
    Argument and Computation 1 (1): 47-69. 2010.
    We present an argument-based formalism of contract dispute resolution following a modern view that the court would resolve a contract dispute by enforcing an interpretation of contract that reasonably represents the mutual intention of contract parties. Legal doctrines provide principles, rules and guidelines for the court to objectively arrive at such an interpretation. In this paper, we establish the appropriateness of the formalism by applying it to resolve disputes about performance relief w…Read more
  •  24
    Human contact is a key issue in social interactions for autonomous systems since robots are increasingly appearing everywhere, which has led to a higher risk of conflict. Particularly in the real world, collisions between humans and machines may result in catastrophic accidents or damaged goods. In this paper, a novel stop strategy related to autonomous systems is proposed. This control method can eliminate the vibrations produced by a system’s movement by analysing the poles and zeros in the mo…Read more