1. Wil M. P. van der Aalst Process Mining Manifesto. In: Procs of Business Process Management Workshops 2011, pp. 169–194. Available at
  2. Howard Barringer, David E. Rydeheard & Klaus Havelund (2010): Rule Systems for Run-time Monitoring: from Eagle to RuleR. Journal of Logic and Computation volume 20, pp. pages 675–706. Available at
  3. Andreas Bauer, Martin Leucker & Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly?. In: Procs. of Runtime Verification 2007, pp. 126–138. Available at
  4. Andreas Bauer, Martin Leucker & Christian Schallhart: Monitoring of Real-Time Properties. In: Procs. of Foundations of Software Technology and Theoretical Computer Science 2006, pp. 260–272. Available at
  5. David Breitgand, Maayan Goldstein & E. H. Shehory (2011): Efficient Control of False Negative and False Positive Errors with Separate Adaptive Thresholds. Network and Service Management, IEEE Transactions on 8, pp. 128–140. Available at
  6. Doron Drusinsky: The Temporal Rover and the ATG Rover. In: Procs. of the International Workshop on SPIN Model Checking and Software Verification 2000, pp. 323–330. Available at
  7. Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac & David Van Campenhout: Reasoning with Temporal Logic on Truncated Paths. In: Procs. of Computer-Aided Verification 2003, pp. 27–39. Available at
  8. Artur S. d'Avila Garcez & Gerson Zaverucha (1999): The Connectionist Inductive Learning and Logic Programming System. Applied Intelligence volume 11, pp. pages 59–77. Available at
  9. Christopher D. Hollander & Annie S. Wu (2011): The Current State of Normative Agent-Based Systems.. J. Artificial Societies and Social Simulation 14, pp. 47–62. Available at
  10. Alfred Horn (1951): On Sentences Which are True of Direct Unions of Algebras. J. Symb. Log. 16, pp. 14–21. Available at
  11. Saul A. Kripke (1963): Semantical Considerations on Modal Logic. Acta Philosophica Fennica 16, pp. 83–94.
  12. Jean-Louis Lassez & Michael J. Maher: The Denotational Semantics of Horn Clauses as a Production System.. In: Procs. of the Association for the Advancement of Artificial Intelligence 1983, pp. 229–231. Available at
  13. Martin Leucker & Christian Schallhart (2009): A brief account of runtime verification. Journal of Logic and Algebraic Programming volume 78, pp. pages 293–303. Available at
  14. Orna Lichtenstein, Amir Pnueli & Lenore D. Zuck: The Glory of the Past. In: in Procs. of Logic of Programs 1985, pp. 196–218. Available at
  15. J. Lukasiewicz (1920): O logice trójwartosciowej (On Three-Valued Logic).
  16. Amir Pnueli: The temporal logic of programs. In: Procs. of the Annual Symposium on Foundations of Computer Science 1977, pp. 46–57. Available at
  17. M. H. Van Emden & R. A. Kowalski (1976): The Semantics of Predicate Logic As a Programming Language. J. ACM 23, pp. 733–742. Available at

Comments and questions to:
For website issues: