Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

Constraint Deduction in an Interval-based Temporal Logic

Jana Koehler, Ralf Treinen

Executable Modal and Temporal Logics, pp. 103--117, Springer-Verlag, 1995

We describe reasoning methods for the interval-based modal temporal logic LLP which employs the modal operators sometimes, always, next, and chop. We propose a constraint deduction approach and compare it with a sequent calculus, developed as the basic machinery for the deductive planning system PHI which uses LLP as underlying formalism.

Download PDF        Show BibTeX               

@INPROCEEDINGS{ConstraintInterval-i,
  title = {Constraint Deduction in an Interval-based Temporal Logic},
  author = {Jana Koehler and Ralf Treinen},
  year = {1995},
  editor = {"Michael Fisher and Richard Owens"},
  publisher = {"Springer-Verlag"},
  booktitle = {Executable Modal and Temporal Logics},
  series = {"Lecture Notes in Artificial Intelligence, vol. 897"},
  pages = {"103--117"},
}

Login to edit