Journals in DBLP

Ann. Math. Artif. Intell.
2006, volume: 46, number: 3

1. Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat
   Guest editorial: Temporal representation and reasoning. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:231-234 [Journal]
   
2. Alexander Bolotov, Artie Basukoski
   A clausal resolution method for branching-time logic ECTL⁺. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:235-263 [Journal]
   
3. Alessandro Artale
   Reasoning on temporal class diagrams: Undecidability results. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:265-288 [Journal]
   
4. Laura Giordano, Alberto Martelli
   Tableau-based automata construction for dynamic linear time temporal logic*. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:289-315 [Journal]
   
5. Lavinia Egidi, Paolo Terenziani
   A mathematical framework for the semantics of symbolic languages representing periodic time. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:317-347 [Journal]
   
6. Michael H. Böhlen, Johann Gamper, Christian S. Jensen
   An algebraic framework for temporal attribute characteristics. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:349-374 [Journal]