Now showing items 1-3 of 3

  • An embodied conversational agent with autistic behaviour 

    Venter, Wessel Johannes (Stellenbosch : Stellenbosch University, 2012-03)
    ENGLISH ABSTRACT: In this thesis we describe the creation of an embodied conversational agent which exhibits the behavioural traits of a child who has Asperger Syndrome. The agent is rule-based, rather than arti cially ...
  • Model checking rational agents 

    Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem (IEEE - -Institute of Electrical and Electronics Engineers, 2004-10)
    Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for ...
  • Property-based slicing for agent verification 

    Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem (Oxford University Press (OUP), 2009-12)
    Programming languages designed specifically for multi-agent systems represent a new programming paradigm that has gained popularity over recent years, with some multi-agent programming languages being used in increasingly ...