PlumX Metrics
Embed PlumX Metrics

Temporal reasoning in bounded situation calculus

Proceedings of the International Workshop on Temporal Representation and Reasoning, Vol: 2016-January, Page: 2-null
2016
  • 0
    Citations
  • 0
    Usage
  • 1
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

Conference Paper Description

In this talk, we survey recent results on situation calculus bounded action theories. These are action theories with the constraints that the size of the extension of fluents in every situation must be bounded, though such an extension changes from situation to situation. Such action theories give rise to infinite transition systems that can be faithfully abstracted into finite ones, making verification decidable.

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know