• Home
• org.aiddl
• aiddl-common-scala
• 0.5.1
• source code
• allen-interval-constraints.aiddl

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

aiddl-test.reasoning.temporal.allen-interval-constraints.aiddl Maven / Gradle / Ivy

(#mod self org.aiddl.test.reasoning.temporal.allen-interval-constraints)

(#req QAI org.aiddl.common.reasoning.temporal.allen-interval)
(#req STP org.aiddl.common.reasoning.temporal.stp)

(^AllenConstraints@QAI (consistent 01)
  {
    (before A B (5 10))
    (before B C (5 10))
  })

(^AllenConstraints@QAI (inconsistent 01)
  {
    (before A B (5 10))
    (before B C (5 10))
    (after  A C (5 10))    
  })