They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing.

I. Computing and Programming.- 1 Concurrent and Agent Programming.- Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics.- Inference and Computation Mobility with Jinni.- Concurrent Logic/Constraint Programming: The Next 10 Years.- 2 Program Analysis and Methodology.- Formulas as Programs.- Link-time Optimization of Multi-Language Programs.- Horn Logic Denotations and Their Applications.- Global Analysis, Partial Specifications, and Assertions.- 3 Future of Declarative Programming.- Assessment of Some Issues in CL-Theory and Program Development.- How Enterprises Use Functional Languages, and Why They Don’t.- Continuous Models of Computation for Logic Programs.- The Logic Programming Paradigm in Numerical Computation.- II. Knowledge Representation and Modeling.- 5 Constraints.- Computational Molecular Biology: A Promising Application Using LP and its Extensions.- Adding Constraints to Logic-based Formalisms.- 6 Machine Learning.- A Perspective on Inductive Logic Programming.- From Deduction to Induction: Logical Perspective.- 7 Answer Set Programming.- Action Languages, Answer Sets, and Planning.- Stable Models and an Alternative Logic Programming Paradigm.- 8 Database Systems.- Logic-Based User-Defined Aggregates for the Next Generation of Database Systems.- 9 Natural Language Processing.- The Logic of Language.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com