Luke Trodd

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Forward And Backward

Proof Theoretic

Multiple Agents

Top Venues

Publications

James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd
Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. ENASE (2016)
Luke Trodd, James Harland, John Thangarajah
Agent deliberation via forward and backward chaining in linear logic. AAMAS (2012)
Luke Trodd, James Harland, John Thangarajah
Agent Deliberation via Forward and Backward Chaining in Linear Logic. DALT (2012)