Ebook: 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.

---

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.

---

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.
Content:
Front Matter....Pages -
Human and machine learning of descriptive concepts....Pages 1-22
The classification and boundary problem....Pages 23-37
Semantics of non-monotonic reasoning based on perfect model....Pages 38-53
Time-bounded reasoning in first order knowledge base systems....Pages 54-72
Elementary formal system as a logic programming language....Pages 73-86
Debugger for a parallel logic programing language Fleng....Pages 87-96
Parallel generalized LR parser based on logic programming....Pages 97-106
Knowledge media station....Pages 107-133
cu-Prolog and its application to a JPSG parser....Pages 134-143
Table-driven Bottom Up Parser in Prolog....Pages 144-162
A consistency maintenance mechanism for subjective judgments and its application....Pages 163-173
Logic design assistance using temporal logic based language Tokio....Pages 174-183

---

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.
Content:
Front Matter....Pages -
Human and machine learning of descriptive concepts....Pages 1-22
The classification and boundary problem....Pages 23-37
Semantics of non-monotonic reasoning based on perfect model....Pages 38-53
Time-bounded reasoning in first order knowledge base systems....Pages 54-72
Elementary formal system as a logic programming language....Pages 73-86
Debugger for a parallel logic programing language Fleng....Pages 87-96
Parallel generalized LR parser based on logic programming....Pages 97-106
Knowledge media station....Pages 107-133
cu-Prolog and its application to a JPSG parser....Pages 134-143
Table-driven Bottom Up Parser in Prolog....Pages 144-162
A consistency maintenance mechanism for subjective judgments and its application....Pages 163-173
Logic design assistance using temporal logic based language Tokio....Pages 174-183
....