This paper presents the Logic-ITA, an Intelligent Teaching Assistant system for the teaching/learning of propositional logic. Intelligent Teaching Assistant Systems are dedicated both to learners and teachers. The system embeds three tools: the Logic Tutor, the LT-Configurator and the LT-Analyser. The Logic Tutor is an intelligent tutoring system destined to the students. The other two tools ar...

This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalises traditional termination analysis where an analyser tries to verify termination for a specified mode. Our contribution is a methodology in which components of traditional termination analysis are combined with backwards analysis to obtain an analyser for termination inference. We i...

This paper presents an Intrusion Detection System (IDS) with the integration of multi agent systems and artificial intelligence techniques such as fuzzy logic controller (FLC), multi-layer perceptron (MLP) and adaptive neurofuzzy inference system (ANFIS). The paper introduces Network Intrusion Detection Systems (NIDS), which monitors the network traffic and detect any possible attacks. The syst...

A clinical monitor and computer is described which uses input information about heart rate, blood pressure and oxygen saturation. The data are processed in a simple diagnostic computer, the circulatory failure analyser, to give a diagnosis of cardiac arrest, hypoxia and oligaemic shock and to give early warning of tachycardia, bradycardia, hypertension, hypotension and cyanosis. The analyser wa...

Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the functional i.e., input/output behaviour of a program P , not enough if one needs P ’s internal behaviours i.e., from the input to some internal program points. We overcome this limitation with a technique used up to now...

The TerminWeb analyser is a semantic based termination analyser for logic programs. It is uniqueness in that it is based on a semantics which makes the termination properties observable. Its implementation is obtained as an abstraction of an interpreter which computes the termination semantics of a given program. TerminWeb supports termination checking and inference with respect to semi-linear ...

The Sugar Research Institute (SRI) in Australia provided the SMRI with a Sucrose Analyser for evaluation. Although the Sucrose Analyser is designed for online measurement of sucrose concentrations, this application describes the direct measurement of sucrose in factory streams in a laboratory environment. The Sucrose Analyser provides a quick and cost effective way of estimating the sucrose con...