WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/915343232

Logic Programming '89 proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation.

Open All Close All

type

about

http://schema.org/about

contributor

creator

description

http://schema.org/description

  • ""This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation."--Publisher's Website."
  • "This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation."@en
  • "This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation."

editor

genre

http://schema.org/genre

  • "Kongreß"
  • "Electronic books"
  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Kongress"
  • "Kongress"@en

name

http://schema.org/name

  • "Logic Programming '89 Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989"
  • "Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989"
  • "Logic programming'89 : proceedings of the 8th conference, Tokyo, Japan, july 12-14, 1989"
  • "Logic Programming '89 proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989"
  • "Logic Programming '89 proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989"@en
  • "Logic programming '89 : proceedings of the 8th conference : Tokyo, Japan, July 12-14, 1989"
  • "Logic Programming '89"
  • "Logic programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989"
  • "Logic Programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989"
  • "Logic programming '89 : proceedings of the 8. conference, Tokyo, Japan, July 12-14, 1989"
  • "Logic Programming '89 : Proceedings of the 8th Conf"
  • "Logic Programming '89 Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989"

workExample