Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
Salvador Abreu, Dietmar Seipel
Springer Science & Business Media, Apr 27, 2011 - Computers - 239 pages
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
Abreu agent algorithm allow Answer Set Programming application approach argument attributes belief revision chromosome cold forging Computer concept Constraint Programming context database declarative Declarative Programming default negation defined definition described Description Logic die-set domain atoms elements encoding end_object evaluation example expression extension extensional constraint forged product function Gecode Gecode/R GNU Prolog Heidelberg implemented INAP inference instance interaction JSquash Layer Supported Models literal Logtalk loops method MF signatures network monitoring network traffic window nodes object proxies OLON ontology parametric object pathways patterns performance perspective schemata predicate Proc process planning properties proposed protein query language rdfs recursion reference model relational representation represented revision problem rules schema search bound Seipel Semantic Web semantics solve source code Springer SQL statements Stable Models static code analysis structure subClassOf swap(M,C tabling temporal transformation truth value tuple XML documents XPath XQuery