Logic Programming (vol. # 3668)
Publication year: 2005
ISBN: 978-3-540-31947-4
Internet Resource: Please Login to download book
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The conference was colocated with the International Conf- ence on ConstraintProgramming(CP 2005)and the following 6 post-conference workshops: – CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems – CSLP 2005: Constraint Solving and Language Processing – WCB 2005: Constraint Based Methods for Bioinformatics – WLPE 2005: Logic-Based Methods in Programming Environments – MoVeLog 2005: Mobile Code Safety and Program Veri?cation Using C- putational Logic Tools – CHR 2005: Constraint Handling Rules The conferencecoincided with a solareclipse
Subject: Computer Science, agent-oriented logic programming, algorithm, algorithms, computational logics, constraint logic programming, deduction, formal verification, inductive logic programming, logic programming, mathematical logic, model checking, modeling, ontology, programming language, semantics
