scispace - formally typeset
M

Mark Witkowski

Researcher at Imperial College London

Publications -  55
Citations -  676

Mark Witkowski is an academic researcher from Imperial College London. The author has contributed to research in topics: Rapid serial visual presentation & Robotics. The author has an hindex of 17, co-authored 55 publications receiving 666 citations.

Papers
More filters
Book ChapterDOI

Experiments in Building Experiential Trust in a Society of Objective-Trust Based Agents

TL;DR: In this article, the authors develop a notion of "objective trust" for Software Agents, that is trust of, or between, agents based on actual experiences between those agents, and present experimental results in a simulated trading environment based on an Intelligent Networks (IN) scenario.
Proceedings Article

From images to bodies: modelling and exploiting spatial occlusion and motion parallax

TL;DR: An envisionment table is developed to model sequences of occlusion events enabling reasoning about objects and their images formed in a changing visual field and the inclusion of van Benthem's axiomatisation of comparative nearness facilitates reasoning about relative distances between occluding bodies.
Book ChapterDOI

High-Level Robot Control through Logic

TL;DR: This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception, and two programs for a mobile robot that share much of their code.
Journal Article

Experiments in building experiential trust in a society of objective-trust based Agents

TL;DR: A notion of "objective trust" for Software Agents, that is trust of, or between, Agents based on actual experiences between those Agents, is developed to investigate three questions related to trust in Multi-Agent Systems (MAS).
Journal ArticleDOI

Event Calculus Planning Through Satisfiability

TL;DR: This paper presents a formal framework for tackling event calculus planning through satisfiability, in the style of Kautz and Selman, and provides a provably correct conjunctive normal form encoding for event calculus Planning problems, rendering them soluble by an off-the-shelf SAT solver.