Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings
Rina Dechter (auth.), Vladimir Lifschitz, Ilkka Niemelä (eds.)This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004.
The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.
年:
2004
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
370
ISBN 10:
354020721X
ISBN 13:
9783540207214
系列:
Lecture Notes in Computer Science 2923 : Lecture Notes in Artificial Intelligence
文件:
PDF, 3.97 MB
IPFS:
,
english, 2004
因版权方投诉,本书无法下载