Trends in Temporal Reasoning: Constraints, Graphs and Posets

DOI10.1007/978-3-319-32859-1_25zbMath1460.68100OpenAlexW2442130364MaRDI QIDQ2807847

Mirka Miller, Jacqueline W. Daykin, Joseph F. Ryan

Publication date: 25 May 2016

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-32859-1_25

zbMATH Keywords

graphposetartificial intelligenceconstraint satisfaction problemalgebraic closurequalitative temporal reasoningAllen's interval algebraFishburn-Shepp inequalitytractable satisfiability

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Combinatorics of partially ordered sets (06A07) Logic in artificial intelligence (68T27) Computational aspects of satisfiability (68R07)

Related Items (2)

Eulogy for Professor Mirka Miller (1949--2016) ⋮ Integer programming ensemble of temporal relations classifiers

This page was built for publication: Trends in Temporal Reasoning: Constraints, Graphs and Posets