Book Details

Declarative Programming for Knowledge Management

Publish Date: 2006

ISBN: 978-3-540-69234-8

Internet Resource: Please Login to download book

This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005,held in October 2005 at Waseda University, Fukuoka, Japan. These papers re?ect a snapshot of ongoing research and current app- cations in knowledge management and declarative programming.

Subject: Computer Science, AI logics, C++ programming language, SAT solvers, Scheduling, automated reasoning, data mining, decision making, description logics, knowledge management, knowledge-based system, logic, logic programming, programming language, semantic web, verification