Menu
Află starea comenzii
Contactați-ne
Carte Reasoning with Logic Programming Jose J. Alferes

Reasoning with Logic Programming

Autor: Jose J. Alferes, Luis Moniz Pereira
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
275.89 lei
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation o...

Informații despre carte

Autor
Jose J. Alferes, Luis Moniz Pereira
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1996
Pagini
336
EAN
9783540614883
ISBN
3540614885
Enbook ID
01566174
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
1120
Dimensiuni
155 x 235 x 20

Descriere completă

As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.

S-ar putea să te intereseze

Taming the Wild

Sandra Khor Manickam
157.70 lei

NYSTCE Mathematics (004) Test Secrets: NYSTCE Exam Review for the New York State Teacher Certification Examinations

Nystce Exam Secrets Test Prep Team
343.07 lei

Opinions of the Supreme Court of the State of California

H Toler Booraem
95.94 lei