IKBS for real-time monitoring and control applications

IKBS for real-time monitoring and control applications

Bibliographic Details
Main Author:	Pokkunuri, Bhanu Prasad
Published:	University of Bradford 1990
Subjects:	005 Logic programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278823

Similar Items

Logic and objects : language, application and implementation
by: McCabe, Francis Gregory Christopher
Published: (1989)

Gazing : a technique for controlling the use of rewrite rules
by: Plummer, David John
Published: (1988)

Integrity constraints in deductive databases
by: Das, Subrata Kumar
Published: (1990)

The Clausal Theory of Types
by: Wolfram, David Anthony
Published: (1990)

Parallel execution of Parlog
by: Cheese, Andrew B.
Published: (1990)

Over-constrained systems in CLP and CSP
by: Jampel, Michael Benjamin
Published: (1996)

A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge
by: Cunningham, J.
Published: (1985)

A message driven or-parallel logic architecture
by: Delgado Rannauro, Sergio A.
Published: (1989)

A logic-based concurrent object-oriented programming language
by: Melendez, Rafael Ramirez
Published: (1996)

Effective meta-programming in declarative languages
by: Bowers, Antony Francis
Published: (1998)

And-parallel implementation of Prolog on distributed memory machines
by: Verden, Andrew Roy
Published: (1991)

Agent theories and architectures
by: Seel, Nigel
Published: (1989)

Abduction by deduction
by: Fung, Tze Ho
Published: (1996)

Application of formal methods to digital system design
by: Herbert, J. M. J.
Published: (1986)

The formal verification of hard real-time systems
by: Cardell-Oliver, Rachel Mary
Published: (1992)

From Z to C : illustration of a rigorous development method
by: Neilson, D. S.
Published: (1989)

Analysis and specialisation of imperative programs : an approach using CLP
by: Peralta Estrada, Julio C.
Published: (2000)

Coupled resolution engines for programming knowledge based systems in logic
by: Taylor, Hamish
Published: (1989)

Implementation of committed choice logic languages on shared memory multiprocessors
by: Crammond, James Alexander
Published: (1988)

Prolog and expert systems
by: Davies, Peter Leslie
Published: (1987)

Language interoperability and logic programming languages
by: Cook, Jonathan J.
Published: (2005)

Development and evaluation of a novel tool for real-time control and remote monitoring over local area networks
by: Garcia, Raul Murillo
Published: (2003)

Parallel computing for real-time simulation and condition monitoring of fluid power systems
by: Pollmeier, Klemens
Published: (1997)

A parallel process model and architecture for a Pure Logic Language
by: Jelly, Innes E.
Published: (1990)

A formalism for representing qualified knowledge and its implementation for large knowledge bases
by: Jiang, Y. J.
Published: (1986)

Type-driven natural language analysis
by: Pareschi, Remo
Published: (1988)

Fault tolerance in industrial microprocessor based real time controllers
by: Rave, O. L.
Published: (1983)

An interpretive real-time language for process control : 'Arcol', implementation in distributed process control environment
by: Hessami, A. G.
Published: (1980)

Reconfigurable FPGA-based message routing for embedded real-time parallel processing applications
by: Frost, Graham
Published: (1998)

Modelling and evaluating timing constraints in real-time systems
by: Berryman, Steven John
Published: (1993)

A uniform mathematical theory for real-time distributed computingT
by: Reed, G. M.
Published: (1988)

A real-time operating system
by: Roker, I. G. R. J.
Published: (1986)

Requirements modelling of real-time systems
by: Sateesh, Tiptur K.
Published: (1995)

Imprecision in real-time systems : theory and practice
by: Portman, Martin
Published: (1994)

A refinement calculus for real-time systems
by: Scholefield, David Jason
Published: (1992)

Replication and fault-tolerance in real-time systems
by: Waterworth, Adrian
Published: (1992)

Denotational semantic models for real-time LOTOS
by: Bryans, Jeremy William
Published: (1996)

Real-time extensions of April for time-aware multi-agent systems programming
by: Prouskas, Konstantinos-Vassileios
Published: (2002)

Schedulability analysis for fault tolerant real-time systems
by: Punnekkat, Sasikumar
Published: (1997)

A development method for trusted real-time kernels
by: Fowler, Simon Quiller
Published: (1998)