Wil M. P. van der Aalst et.al.:
Process Mining Manifesto.
In: Procs of Business Process Management Workshops 2011,
pp. 169–194.
Available at http://dx.doi.org/10.1007/978-3-642-28108-2_19.
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 http://dx.doi.org/10.1093/logcom/exn076.
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 http://dx.doi.org/10.1007/978-3-540-77395-5_11.
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 http://dx.doi.org/10.1007/11944836_25.
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 http://dx.doi.org/10.1109/TNSM.2011.020111.00055.
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 http://dx.doi.org/10.1007/10722468_19.
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 http://dx.doi.org/10.1007/978-3-540-45069-6_3.
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 http://dx.doi.org/10.1023/A:1008328630915.
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 http://jasss.soc.surrey.ac.uk/14/2/6.html.
Alfred Horn (1951):
On Sentences Which are True of Direct Unions of Algebras.
J. Symb. Log. 16,
pp. 14–21.
Available at http://dx.doi.org/10.2307/2268661.
Saul A. Kripke (1963):
Semantical Considerations on Modal Logic.
Acta Philosophica Fennica 16,
pp. 83–94.
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 http://www.aaai.org/Library/AAAI/1983/aaai83-006.php.
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 http://dx.doi.org/10.1016/j.jlap.2008.08.004.
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 http://dx.doi.org/10.1007/3-540-15648-8_16.
J. Lukasiewicz (1920):
O logice trójwartosciowej (On Three-Valued Logic).
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 http://dx.doi.org/10.1145/321978.321991.
eptcs@eptcs.org