Finite-State Temporal Projection

DOI10.1007/11812128_22MaRDI QIDQ5757228zbMATH OpenOpenAlexFDO

Authors Tim Fernando

Publication date 6 September 2007

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11812128_22

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45) Logic in artificial intelligence (68T27)

Recommendations

• A Finite-state Approach to Events in Natural Language Semantics
• Temporal representation and reasoning in artificial intelligence: Issues and approaches
• Publication:3198877
• Actions and Events in Interval Temporal Logic
• Temporal representation and reasoning in artificial intelligence: A review

Cited in

(2)

• Between the event calculus and finite state temporality
• Situations in LTL as strings

This page was built for publication: Finite-State Temporal Projection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5757228)