Publish Date: 2006
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