000 05604nam a22006135i 4500
001 978-3-540-31947-4
003 DE-He213
005 20240730173943.0
007 cr nn 008mamaa
008 100315s2005 gw | s |||| 0|eng d
020 _a9783540319474
_9978-3-540-31947-4
024 7 _a10.1007/11562931
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aLogic Programming
_h[electronic resource] :
_b21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /
_cedited by Maurizio Gabbrielli, Gopal Gupta.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXIV, 458 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3668
505 0 _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.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer programming.
_94169
650 0 _aArtificial intelligence.
_93407
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9110506
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aProgramming Techniques.
_9110507
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9110508
700 1 _aGabbrielli, Maurizio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110509
700 1 _aGupta, Gopal.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110510
710 2 _aSpringerLink (Online service)
_9110511
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540292081
776 0 8 _iPrinted edition:
_z9783540816454
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3668
_9110512
856 4 0 _uhttps://doi.org/10.1007/11562931
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89187
_d89187