Logic and programming

Richard Ennals; Jonathan Briggs

Logic and programming

Richard Ennals, Jonathan Briggs

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

This chapter locates logic programming in the context of the history of ideas, and in particular the tradition concerned with the formalising of human reasoning using logic.

Original language	English
Title of host publication	The mind and the machine
Subtitle of host publication	philosophical aspects of artificial intelligence
Editors	Steve Torrance
Place of Publication	Chichester
Publisher	Ellis Horwood Limited
Pages	133-144
ISBN (Print)	0853127123
Publication status	Published - 1984
Externally published	Yes

Publication series

Name	Artificial Intelligence
Publisher	Ellis Horwood Limited

Keywords

Philosophy

Cite this

@inbook{4b113b26e85f44c69c5dea1140402e49,

title = "Logic and programming",

abstract = "This chapter locates logic programming in the context of the history of ideas, and in particular the tradition concerned with the formalising of human reasoning using logic.",

keywords = "Philosophy",

author = "Richard Ennals and Jonathan Briggs",

year = "1984",

language = "English",

isbn = "0853127123",

series = "Artificial Intelligence",

publisher = "Ellis Horwood Limited",

pages = "133--144",

editor = "Steve Torrance",

booktitle = "The mind and the machine",

}

TY - CHAP

T1 - Logic and programming

AU - Ennals, Richard

AU - Briggs, Jonathan

PY - 1984

Y1 - 1984

N2 - This chapter locates logic programming in the context of the history of ideas, and in particular the tradition concerned with the formalising of human reasoning using logic.

AB - This chapter locates logic programming in the context of the history of ideas, and in particular the tradition concerned with the formalising of human reasoning using logic.

KW - Philosophy

M3 - Chapter

SN - 0853127123

T3 - Artificial Intelligence

SP - 133

EP - 144

BT - The mind and the machine

A2 - Torrance, Steve

PB - Ellis Horwood Limited

CY - Chichester

ER -

Logic and programming

Abstract

Publication series

Keywords

Fingerprint

Cite this