Author of the publication

The Persuasion Machine

, , , , and . Argumentation Machines: New Frontiers in Argument and Computation, chapter 5, Springer, (Dec 31, 2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Persuasion Machine, , , , and . Argumentation Machines: New Frontiers in Argument and Computation, chapter 5, Springer, (Dec 31, 2003)Human-Formalism Interaction: Studies in Communication through Formalism., and . Interact. Comput., 9 (2): 111-128 (1997)Software architectures in industrial systems: an empirical study.. ISAW@FSE, page 57-60. ACM, (1998)Dr.Doodle: A Diagrammatic Theorem Prover., , and . IJCAR, volume 3097 of Lecture Notes in Computer Science, page 331-335. Springer, (2004)Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues.. J. Vis. Lang. Comput., 10 (4): 317-342 (1999)Combining Semantic and Cognitive Accounts of Diagrams.. Diagrammatic Representation and Reasoning, Springer, (2002)Specialising the Ground Representation in the Logic Programming Language Gödel.. LOPSTR, page 124-140. Springer, (1993)Using Animation in Diagrammatic Theorem Proving., , , and . Diagrams, volume 2317 of Lecture Notes in Computer Science, page 46-60. Springer, (2002)Knowledge engineering in the communication of Information for safety critical systems.. Knowl. Eng. Rev., 12 (3): 249-270 (1997)Modelling organisational practice in user requirements., and . SAC, page 716-720. ACM, (2002)