A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge

A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge

Bibliographic Details
Main Author:	Cunningham, J.
Published:	University of Essex 1985
Subjects:	005 Logic programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.356046

Similar Items

The formalisation of software development using MASCOT
by: Paynter, Stephen Edward
Published: (1993)

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

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

Mind the gap : formalising the development of scientific software
by: Maley, David
Published: (2000)

Formalising the extended object-oriented database model
by: Pouyioutas, Philippos
Published: (1996)

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)

System development with communicating sequential processes : formalisation and related studies
by: Yeung, Wing Lok
Published: (1991)

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

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

Over-constrained systems in CLP and CSP
by: Jampel, Michael Benjamin
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)

IKBS for real-time monitoring and control applications
by: Pokkunuri, Bhanu Prasad
Published: (1990)

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

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

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

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

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

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

The formalisation of authorisation systems
by: Mankin, Ben
Published: (2004)

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

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)

A Formalisation and Explication of the 'D' Language
by: Xu, Bin
Published: (2008)

Formalisation of component-based systems
by: Zhou, Jiong
Published: (2007)

Formalisation of Message Sequence Charts
by: Chen, Chien-An
Published: (2008)

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

The formalisation of discourse production
by: Davey, Anthony
Published: (1974)

A PROLOG based framework for combined simulation / knowledge based systems
by: Farimani-Toroghi, Seyed Nasser
Published: (1994)

A methodology for knowledge acquisition in the development of expert systems
by: Plant, Robert T.
Published: (1987)

A methodology for the development of embedded knowledge-based procedures
by: Booth, Alan Edward
Published: (1995)

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

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

The representation of knowledge in knowledge based systems for chemical and process plant selection
by: Campbell, Colin
Published: (1990)

Humanist computing for knowledge discovery from ordered datasets
by: Rossiter, Jonathan Michael
Published: (1999)

A knowledge representation approach to information systems analysis and modelling
by: Ip, Saimond
Published: (1992)

Towards a subjective knowledge elicitation methodology for the development of expert systems
by: West, Daune
Published: (1991)

Formalising CORE requirements
by: Smith, Lindsey C.
Published: (1993)