From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence

Thayse, Andre

ISBN 10: 0471918385 ISBN 13: 9780471918387

Editorial: John Wiley & Sons Ltd 01.08.1988., 1988

Idioma: Ingl�s

Condici�n: Usado - Bueno Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por NEPO UG, R�sselsheim am Main, Alemania

Vendedor de AbeBooks desde 15 de noviembre de 2018

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Bueno

Precio: EUR 18,47 Convertir moneda

EUR 9,00 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

360 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 24,0 x 16,0 x 3,5 cm, Taschenbuch.

N� de ref. del art�culo 388224

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence

Editor

John Wiley & Sons Ltd 01.08.1988.

Fecha de publicaci�n

1988

Idioma

Ingl�s

ISBN 10

0471918385

ISBN 13

9780471918387

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

Gut

Cat�logos de vendedores

Acerca de

Sinopsis

This is an important book underpinning the study of artificial intelligence with a thorough examination of the role of logic. It covers the whole field from the most theoretical aspects of logic to the most practical techniques of logic programming. Introducing propositional and predicate logics, and giving a brief statement of first-order theories, the authors then go on to describe how logic can be used for representing - and reasoning about - knowledge. Rules are stated for transforming logical representations into graphical and object representation. A thorough coverage of the logics that have been developed for formalizing 'commonsense reasoning' is given and includes: modal logics of knowledge and of belief; non-monotone logics; default logics, autoepistemic logics etc. Finally the reader is introduced to grammars as a new representation formalism, and shown how logics and grammars lead to logic programming languages. Particular emphasis is placed on Prolog as the forerunning and most popular language for logic programming. This is the first volume of a complete work on how logics are applied to artificial intelligence for use on logic programming and artificial intelligence courses.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Sitz der Gesellschaft: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** Versandanschrift: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** kundenservice @ fachbuecher-weltversand.de Umsatzsteuer-Identifikationsnummer gem�� 27a Umsatzsteuergesetz DE240798524

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

NEPO UG
Bahnhofsplatz 1, R�sselheim am Main, 65428, Germany

Condiciones de venta y env�o

Condiciones de venta

Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.
Die Widerrufsfrist betr�gt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Bef�rderer ist, die Waren in Besitz genommen haben bzw. hat..Um Ihr Widerrufsrecht auszu�ben, m�ssen Sie uns
NEPO UG
Bahnhofsplatz 1
65428 R�sselsheim am Main
eingetragen im Handelsregister des Amtsgerichtes Darmstadt
Handelsregisternummer HRB 103822
Ste...

M�s informaci�n