Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters

DOI10.1007/978-3-642-32897-8_8zbMath1361.68242OpenAlexW12496682MaRDI QIDQ2915044

Matei Popovici

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

zbMATH Keywords

temporal logichigh-performance computingtemporal knowledge representation

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Temporal logic (03B44)

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters