Artículos relacionados a Logic Programming '88: Proceedings of the 7th Conference...
Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988: 383 (Lecture Notes in Artificial Intelligence) - Tapa blanda
Sinopsis
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2008
- ISBN 10 354051564X
- ISBN 13 9783540515647
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas268
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 53,49
EUR 11,99 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Logic Programming '88: Proceedings of the 7th Conference...
Imagen del vendedor
Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 (Lecture Notes in Computer Science (383), Band 383)
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
1989. 268 Seiten Good condition. Reading pages are very clean and without marks. Minimum traces of storage or use. Otherwise good exemplar. 9783540515647 Sprache: Englisch Gewicht in Gramm: 567 Softcover, Größe: 15.5 x 1.5 x 23.5 cm. Nº de ref. del artículo: 215037
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
Publicado por
Springer Berlin Heidelberg, 1989
ISBN 10: 354051564X
ISBN 13: 9783540515647
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on 'narrowing', a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system. Nº de ref. del artículo: 9783540515647
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 (Lecture Notes in Computer Science, 383)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540515647_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Programming 88
Publicado por
Springer Berlin Heidelberg, 1989
ISBN 10: 354051564X
ISBN 13: 9783540515647
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 2. Nº de ref. del artículo: 4892029
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5906450-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 (Lecture Notes in Computer Science, 383)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783540515647
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5906450-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5906450
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5906450
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Programming '88
Publicado por
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 354051564X
ISBN 13: 9783540515647
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on 'narrowing', a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system. 268 pp. Englisch. Nº de ref. del artículo: 9783540515647
Cantidad disponible: 2 disponibles