Reasoning in event-based distributed systems

DOI10.1007/978-3-642-19724-6MaRDI QIDQ532999zbMATH OpenOpenAlexFDO

Authors Sven Helmer, Alexandra Poulovassilis, Fatos Xhafa

Publication date 2 May 2011

Published in Studies in Computational Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19724-6

Mathematics Subject Classification ID

Artificial intelligence (68T99) Distributed systems (68M14)

Recommendations

• Reasoning on the efficiency of distributed complex event processing
• Knowledge-based synthesis of distributed systems using event structures
• Logic for Programming, Artificial Intelligence, and Reasoning
• Event Calculus Reasoning Through Satisfiability
• Reasoning about Knowledge in Asynchronous Distributed Systems
• Distributed event algebras
• Distributed event-based systems
• Decision problems in a logic for reasoning about reconfigurable distributed systems

Cited in

(5)

• scientific article; zbMATH DE number 7222494 (Why is no real title available?)
• Distributed event-based systems
• Information and services integrating and scheduling model for event handling
• Coordination Models and Languages
• scientific article; zbMATH DE number 7455716 (Why is no real title available?)

This page was built for publication: Reasoning in event-based distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q532999)