Type-driven natural language analysis

Type-driven natural language analysis

Bibliographic Details
Main Author:	Pareschi, Remo
Published:	University of Edinburgh 1988
Subjects:	005 Logic programming][Computer semantics
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236983

Similar Items

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

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

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

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

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

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

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

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

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

A prototype Syntax Driven Language Editor
by: Price, R. T.
Published: (1984)

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

Integrity constraints in deductive databases
by: Das, Subrata Kumar
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)

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)

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

Type assignment in programming languages
by: Damas, Luis
Published: (1984)

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

Practical unification-based parsing of Natural Language
by: Carroll, John Andrew
Published: (1993)

QPROC : A natural language inquiry system
by: Wallace, M. G.
Published: (1982)

Natural language output from relational databases
by: Attar-Bashi, Hussain Ali
Published: (1990)

Database query using menus and natural language fragments
by: Cuff, R. N.
Published: (1982)

Elicitation of software requirements : the role of natural language processing
by: Alam, Abu Turab
Published: (1991)

The principle-based parsing of natural language in the engineering of intelligent systems
by: Spenceley, Susan Ella
Published: (1992)

The role of connectionist representations in necessary inference for natural language processing
by: Baldwin, Adrian
Published: (1993)

The use of text-based approach in natural language translation by computer
by: Khan, Mohammad Abid
Published: (1990)

The generation of coordinated natural language and graphical explanations in design environments
by: Santana Sepulveda, Julio Sergio
Published: (1999)

The design of a natural language interface for medical expert systems
by: Frost, David Philip
Published: (1990)

A portable natural language interface from Arabic to SQL
by: Al-Johar, Badr
Published: (1999)

Data-driven and demand-driven evaluation of logic programs
by: Halim, M. Z.
Published: (1984)

Requirements elicitation through viewpoint control in a natural language environment
by: Messaoudi, Mohammed
Published: (1994)

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

Design and implementation of a simple typed language based on the lambda-calculus
by: Fairbairn, J.
Published: (1984)

A semantic knowledge-based computational dictionary for support of natural language processing systems
by: Al-Hafez, Muhammad Yassin
Published: (1993)

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

Formal method for the retrospective specification of the functionality of existing software systems
by: Halmay, Edit
Published: (1988)

Logics of domains
by: Zhang, Guo Qiang
Published: (1989)

Cannot write session to /tmp/vufind_sessions/sess_9ap16u5cs67o7vnfnlslsgdvou