Mark Witkowski

Learn More
This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 assumes the region based ontology of RCC-8 and extends Galton’s Lines of Sight Calculus by allowing concave shaped objects into the modelled domain. This extension is used to describe(More)
In this paper we develop a notion of “objective trust” for Software Agents, that is trust of, or between, Agents based on actual experiences between those Agents. Experiential objective trust allows Agents to make decisions about how to select other Agents when a choice has to be made. We define a mechanism for such an “objective Trust-Based Agent”(More)
In this paper we develop a notion of “objective trust” for Software Agents, that is trust of, or between, Agents based on actual experiences between those Agents. Experiential objective trust allows Agents to make decisions about how to select other Agents when a choice has to be made. We define a mechanism for such an “objective Trust-Based Agent”(More)
Much work has been done to integrate visual character Agents into electronic display systems, notably in entertainment, CAE and e-retail contexts. In this study we investigated the usefulness of measuring users’ eye movements as a tool for the evaluation of these character Agents. We particularly studied the usefulness of eye-tracking to obtain information(More)
Rapid Serial Visual Presentation (RSVP) is a technique that allows images to be presented sequentially in the time-domain, thereby offering an alternative to the conventional concurrent display of images in the space domain. Such an alternative offers potential advantages where display area is at a premium. However, notwithstanding the flexibility to employ(More)
The increasing availability and accuracy of eye gaze detection equipment has encouraged its use for both investigation and control. In this paper we present novel methods for navigating and inspecting extremely large images solely or primarily using eye gaze control. We investigate the relative advantages and comparative properties of four related methods:(More)
Previous work on event calculus planning has viewed it as an abductive task, whose implementation through abductive logic programming reduces to partial order planning. By contrast, this paper presents a formal framework for tackling event calculus planning through satisfiability, in the style of Kautz and Selman. A provably correct conjunctive normal form(More)
This paper reports on and discusses recent research into software agent mediated retailing and considers how it may act as a catalyst to the formation of local electronic retail communities. Each member of the e-retail community has their own software agent that acts on their behalf. Their software agent acts as an electronic Personal Sales Assistant(More)
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the anticipatory and predictive elements inherent to them, and to provide a new unifying approach based on the predictive nature of those elements. Parallels are then drawn with Karl(More)
In both professional and personal contexts, a common activity is the search for a target image among a collection of images. The presentation of that collection to a user can assume a wide variety of forms, and it would help interaction designers to be aware of the comparative properties of available presentation modes. A property of major interest is the(More)