Event Calculus - Reasoning Tools

Reasoning Tools

In addition to Prolog and its variants, several other tools for reasoning using the event calculus are also available:

  • Abductive Event Calculus Planners
  • Discrete Event Calculus Reasoner
  • Event Calculus Answer Set Programming

Read more about this topic:  Event Calculus

Famous quotes containing the words reasoning and/or tools:

    Now, what I want is, Facts. Teach these boys and girls nothing but Facts. Facts alone are wanted in life. Plant nothing else, and root out everything else. You can only form the minds of reasoning animals upon Facts: nothing else will ever be of any service to them. This is the principle on which I bring up my own children, and this is the principle on which I bring up these children. Stick to Facts, sir!
    Charles Dickens (1812–1870)

    No man is born into the world, whose work
    Is not born with him; there is always work,
    And tools to work withal, for those who will:
    And blessèd are the horny hands of toil!
    James Russell Lowell (1819–1891)