Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gabbrielli, Maurizio (Επιμελητής έκδοσης), Gupta, Gopal (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3668
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Artificial Intelligence (incl. Robotics).; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

• OWL: 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.