Amar Isli (isli)

Contributi a Philosophie.ch

Bibliography

Isli, Amar. 1994. “Mapping an LPTL Formula into a Büchi Alternating Automaton Accepting its Models.” in Temporal Logic. Proceedings of the ICTL Workshop, edited by Hans Jürgen Ohlbach, pp. 85–90. Saarbrücken: Max-Planck-Institut für Informatik.
Isli, Amar and Cohn, Anthony G. 2000. “A New Approach to Cyclic Ordering of 2D Orientations Using Ternary Relation Algebras.” Artificial Intelligence 122(1–2): 137–187.