Logic programming and nonmonotonic reasoning: 6th international conference, lpnmr 2001, vienna, austria, september 17-19, 2001 proceedings
Auteur :
Eiter, Thomas
ISBN :
9783540425939
Date de publication :
5 sept. 2001
Dimensions :
23,3 x 15,5 x 2,4 cm
Poids :
657 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers in this volume cover such topics as: computational logic; declarative information extraction; model checking; inductive logic programming; default theories; stable logic programming; program semantics; incomplete information processing; and declarative specification.