© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 2.4 The Z Notation [Reference: M. Spivey: The Z Notation, Prentice Hall]
Propositional and First-Order Logic Chapter 7.47.8, 8.18.3, 8.5 Some material adopted from notes by Andreas Geyer-Schulz and Chuck Dyer.
Most material was taken from the following source: – Grigoris Antoniou, Frank van Harmelen, A Semantic Web Primer, 2nd Edition, MIT Press, 2008, ISBN 978-0-262-01242-3.
Functional-Logic Programming - Lecture Notes - Harold Boley Harold Boley NRC-IIT Fredericton University of New Brunswick CS 6715 FLP 11 April 2010.
Publishing and Using Linked Open Data - Day 5
Limit-Computable Mathematics and its Applications Susumu Hayashi & Yohji Akama Sep, 22, 2002 CSL’02, Edinburgh, Scotland, UK.
Rewriting Logic and The Maude Execution Environment Carolyn Talcott SRI International .
1 Sampling, Counting, and Probabilistic Inference Wei joint work with Bart Selman.
Chapter 5A Semantic Web Primer 1 Chapter 5 Logic and Inference: Rules Grigoris Antoniou Frank van Harmelen.
1 Nonmonotonic Inductive Logic Programming Chiaki Sakama Wakayama University, Japan Invited Talk at LPNMR 2001.
Propositional and First-Order Logic