Carte Logic Programming and Nonmonotonic Reasoning Thomas Eiter

Logic Programming and Nonmonotonic Reasoning

6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.72 lei
This book constitutes the refereed proceedings of the 6th International Conference on Logic Programm...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2001
Pagini
454
EAN
9783540425939
ISBN
3540425934
Enbook ID
01563782
Greutate
658
Dimensiuni
155 x 235 x 24

Descriere completă

This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc.

S-ar putea să te intereseze

Place of Poetry in Life

Charles F Richardson
213.87 lei
89.27 lei
209.03 lei
152.73 lei
326.66 lei
276.72 lei
335.34 lei
98.15 lei

Clienții care au cumpărat această carte au mai cumpărat și

Im Licht der Plejaden

Elena Mira-Solis
27.94 lei
93.71 lei

Příšerné zlobilky

Martina Drijverová
36.71 lei

Negociación internacional

Diego Gómez Cáceres
145.37 lei