The following pages link to Logics in Artificial Intelligence (Q5394149):
Displaying 6 items.
- A theory of ultimately periodic languages and automata with an application to time granularity (Q731330) (← links)
- Compact and tractable automaton-based representations of time granularities (Q875518) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Representing and Reasoning about Temporal Granularities (Q4461352) (← links)
- (Q4601449) (← links)
- Theoretical Computer Science (Q5897351) (← links)