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

Acta Informatica

Issue 3/2016

Special Issue: Temporal Representation and Reasoning (TIME’13) - Part 2

Content (3 Articles)

Original Article

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco

Original Article

Extracting unsatisfiable cores for LTL via temporal resolution

Viktor Schuppan

Original Article

Metric temporal logic revisited

Mark Reynolds

Mar 16
Issue: 2/2016
Special Issue: Temporal representation and reasoning (TIME’13) – Part 1
Jun 16
Issue: 4/2016
Special Issue: Rich Models, EU-COST Action IC0901 Rich-Model Toolkit

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits