• Publications
  • Influence
Some Alternative Formulations of the Event Calculus
The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this paper we summarise how variantsExpand
  • 147
  • 21
  • PDF
The Event Calculus in Classical Logic - Alternative Axiomatisations
  • 131
  • 13
A Simple Declarative Language for Describing Narratives With Actions
TLDR
We describe a simple declarative languageE for describing the effects of a series of action occurrences within a narrative. Expand
  • 110
  • 8
  • PDF
Accumulation of β‐amyloid precursor protein in HIV encephalitis: Relationship with neuropsychological abnormalities
The pathogenesis of neuropsychological abnormalities in patients with human immunodeficiency virus type 1 (HIV‐1) encephalitis is obscure because neurons are not the target of infection and severeExpand
  • 100
  • 7
Narratives in the Situation Calculus
TLDR
This paper bridges the gap between these types of formalism by supplying a technique for linking incomplete narrative descriptions to Situation Calculus domain formulae written in the usual style using Result function. Expand
  • 107
  • 4
Reasoning about Discontinuities in the Event Calculus
TLDR
This paper describes a logic-based formalism which combines techniques for reasoning about actions with standard mathematical techniques for modelling dynamic systems using the diierential calculus. Expand
  • 37
  • 4
E-RES: Reasoning about Actions, Events and Observations
TLDR
The language Ɛ for reasoning about actions and change can be translated into an argumentation framework. Expand
  • 31
  • 3
Fundamentals of Radar Signal Processing (Richards, M.A.; 2005) [Book review]
  • R. Miller
  • Computer Science
  • IEEE Signal Processing Magazine
  • 17 April 2009
TLDR
This book introduces the fundamental concepts of radar by building upon digital signal processing concepts, in addition to more advanced topics, such as CFAR detection, synthetic aperture radar (SAR), and space-time adaptive processing (STAP). Expand
  • 25
  • 3
Knowledge acquisition techniques for expert systems
TLDR
This paper discusses various techniques which can be employed to successfully perform the task of knowledge acquisition. Expand
  • 51
  • 3
TRAVEL DEMAND MODELING OF AUTOMATED SMALL VEHICLE TRANSIT ON A UNIVERSITY CAMPUS
Automated Small Vehicle Transit (ASVT) is a subclass of automated people movers which uses small vehicles, typically holding 2 to 4 passengers, on a closed network to transport people directly fromExpand
  • 8
  • 3
...
1
2
3
4
5
...