• Publications
  • Influence
Efficient Defeasible Reasoning Systems
TLDR
We present defeasible logic, a less-expressive but more efficient non-monotonic logic that can be used as a modeling language for practical applications, including modelling of regulations and business rules. Expand
  • 76
  • 12
A Family of Defeasible Reasoning Logics and its Implementation
TLDR
This paper presents a family of defeasible reasoning formalisms built around Nute's defeasibility logic. Expand
  • 84
  • 5
  • PDF
Efficient defeasible reasoning systems
TLDR
We show that defeasible logic has linear complexity, which contrasts markedly with most other non-monotonic logics and helps to explain the impressive experimental results. Expand
  • 81
  • 4
  • PDF
Propositional Plausible Logic: Introduction and Implementation
TLDR
Plausible Logic allows defeasible deduction with arbitrary propositions, and yet when sufficiently simplified it is very similar to the Defeasible Logics of Billington. Expand
  • 42
  • 4
  • PDF
An implementation of propositional plausible logic
TLDR
We report the first complete implementation of propositional plausible logic. Expand
  • 17
  • 2
  • PDF
Deimos: Query answering defeasible logic system
TLDR
This document is a description and complete listing of Deimos, a query answering Defeasible logic system. Expand
  • 11
  • 2
  • PDF
Phobos (Version 2): A Query Answering Plausible Logic System
This document is a description of Phobos, a query answering plausible logic system. Phobos is a complete implementation of propositional plausible logic. System components include command-linedrivenExpand
  • 3
  • 2
  • PDF
Non-monotonic Reasoning for Localisation in RoboCup
TLDR
We propose to use non-monotonic reasoning to accept inconsistent information from sensors and resolve it to obtain the most plausible interpretation of a robot and its environment. Expand
  • 14
  • 1
  • PDF
Requirements Engineering via Non-monotonic Logics and State Diagrams
TLDR
We propose to model the behaviour of embedded systems by finite state machines whose transitions are modelled by predicates of non-monotonic logics. Expand
  • 11
Using Temporal Consistency to Improve Robot Localisation
TLDR
We show that in the fast dynamic environment of robotic soccer, Plausible Logic can be used effectively to deploy non-monotonic reasoning. Expand
  • 12
...
1
2
...