Brian Logan

Identifiers

No identifiers captured yet.

Papers (6)

1. Temporal Causal Models as a Model of Computation cs.FL · 2026 · author #3
2. Situation Calculus for Synthesis of Manufacturing Controllers cs.AI · 2018 · author #2
3. Resource Logics with a Diminishing Resource cs.LO · 2018 · author #2
4. Expressibility of norms in temporal logic cs.AI · 2016 · author #3
5. Decentralised Norm Monitoring in Open Multi-Agent Systems cs.MA · 2016 · author #4
6. Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources cs.MA · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Natasha Alechina 5 shared papers
• Fabio Patrizi 1 shared papers
• Franco Raimondi 1 shared papers
• Giuseppe De Giacomo 1 shared papers
• Hoang Nga Nguyen 1 shared papers
• Ian A. Kash 1 shared papers
• Joseph Y. Halpern 1 shared papers
• Maksim Gladyshev 1 shared papers
• Mehdi Dastani 1 shared papers
• Paolo Felli 1 shared papers
• Sebastian Sardina 1 shared papers