Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters
From MaRDI portal
Publication:2915044
DOI10.1007/978-3-642-32897-8_8zbMath1361.68242MaRDI QIDQ2915044
Publication date: 21 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32897-8_8
68T05: Learning and adaptive systems in artificial intelligence
68T27: Logic in artificial intelligence
68T30: Knowledge representation
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures
03B44: Temporal logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Elements of finite model theory.
- A survey of temporal extensions of description logics
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Programming Multi-Agent Systems in AgentSpeak usingJason
- Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis