A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus (Q1601877)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1761186
Language Label Description Also known as
default for all languages
No label defined
    English
    A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
    scientific article; zbMATH DE number 1761186

      Statements

      A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus (English)
      0 references
      0 references
      0 references
      27 June 2002
      0 references
      event calculus
      0 references

      Identifiers