Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Annals of Mathematics and Artificial Intelligence

Issue 3/2006

Content (6 Articles)

Guest editorial: Temporal representation and reasoning

Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat

A clausal resolution method for branching-time logic ECTL+

Alexander Bolotov, Artie Basukoski

Reasoning on temporal class diagrams: Undecidability results

Alessandro Artale

Tableau-based automata construction for dynamic linear time temporal logic*

Laura Giordano, Alberto Martelli

A mathematical framework for the semantics of symbolic languages representing periodic time

Lavinia Egidi, Paolo Terenziani

An algebraic framework for temporal attribute characteristics

Michael Böhlen, Johann Gamper, Christian S. Jensen

Feb 06
Issue: 1-2/2006
Apr 06
Issue: 4/2006

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits