LEADER 07644nam 22008295 450 001 9910483058903321 005 20251226203548.0 024 7 $a10.1007/11562931 035 $a(CKB)1000000000213292 035 $a(SSID)ssj0000318703 035 $a(PQKBManifestationID)11254474 035 $a(PQKBTitleCode)TC0000318703 035 $a(PQKBWorkID)10311452 035 $a(PQKB)10900925 035 $a(DE-He213)978-3-540-31947-4 035 $a(MiAaPQ)EBC3067902 035 $a(PPN)123097975 035 $a(BIP)12723166 035 $a(EXLCZ)991000000000213292 100 $a20100315d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming $e21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /$fedited by Maurizio Gabbrielli, Gopal Gupta 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XIV, 458 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3668 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540292081 320 $aIncludes bibliographical references and index. 327 $aOWL: A Description Logic Based Ontology Language -- Preference Reasoning -- The G12 Project: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis -- An Optimised Semantic Web Query Language Implementation in Prolog -- A Distributed and Probabilistic Concurrent Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction -- Abduction of Linear Arithmetic Constraints -- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing Inductive Definitions to Propositional Satisfiability -- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre-interpretations -- Deductive Multi-valued Model Checking -- Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded Semantics with Disjunction -- Semantics of Framed Temporal Logic Programs -- Practical Higher-Order Pattern Unification with On-the-Fly Raising -- Small Proof Witnesses for LF -- A Type System for CHR -- Decision Support for Personalization on Mobile Devices -- A Generic Framework for the Analysis and Specialization of Logic Programs -- The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic -- Modeling Systems in CLP -- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics -- IMPACT: Innovative Models for Prolog with Advanced Control and Tabling -- Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process -- Hybridization of Genetic Algorithms and Constraint Propagation for the BACP -- The MYDDAS Project: Using a Deductive Database for Traffic Characterization -- Open World Reasoning in Datalog -- Optimizing Queries for Heterogeneous Information Sources -- Denotational Semantics Using Horn Concurrent Transaction Logic -- Gentra4cp: A Generic Trace Format for Constraint Programming -- Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary -- Formalization and Verification of Interaction Protocols -- -LTL for Constraint-Based Security Protocol Analysis -- Concurrent Methodologies for Global Optimization -- A Temporal Programming Language for Heterogeneous Information Systems -- Nonmonotonic Logic Programs for the Semantic Web -- ICLP 2005 Doctoral Consortium -- Analysis and Optimization of CHR Programs. 330 $aThis 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, whichoccurredon October 3rd and was visible in Sitges. No conference activities were scheduled at the time of the eclipse to allow delegates to view this extraordinary astronomical event. Since the ?rst conference that was held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic progr- ming. In this edition of the conference, extra attention was given to novel - plications of logic programming and to work providing novel integrations of di'erent areas. Colocation with CP 2005 further reinforced these themes, as it provided an opportunity for the exchange of ideas and cross-fertilization among two areaswhich havecommon roots. ICLP 2005and CP 2005sharedthe invited speakers to underscore this e'ort. ICLP 2005 broke new ground by holding a doctoral consortium for the ?rst time in the ICLP series of conference. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3668 606 $aSoftware engineering 606 $aComputer programming 606 $aArtificial intelligence 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aMachine theory 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aArtificial Intelligence 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aArtificial intelligence. 615 0$aCompilers (Computer programs) 615 0$aComputer science. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aArtificial Intelligence. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a005.115 686 $a54.51$2bcl 701 $aGabbrielli$b Maurizio$0297897 701 $aGupta$b G$g(Gopal),$f1963-$01763713 712 12$aInternational Conference on Logic Programming 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483058903321 996 $aLogic programming$94204310 997 $aUNINA