BeepBeep

MaRDI QIDQ14572swMATHFDO

Official website http://beepbeep.sourceforge.net/

Cited in

(8)

• Foundations of fine-grained explainability
• TeSSLa
• Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
• ConSpec
• LARVA
• Dytan
• Apache Flink
• LOLA

This page was built for software: BeepBeep