| 000 | 05441nam a22003855i 4500 | ||
|---|---|---|---|
| 001 | 295246 | ||
| 003 | MX-SnUAN | ||
| 005 | 20160429155220.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150903s2005 gw | o |||| 0|eng d | ||
| 020 |
_a9783540319474 _99783540319474 |
||
| 024 | 7 |
_a10.1007/11562931 _2doi |
|
| 035 | _avtls000348063 | ||
| 039 | 9 |
_a201509030741 _bVLOAD _c201404121052 _dVLOAD _c201404090829 _dVLOAD _y201402071018 _zstaff |
|
| 040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
| 050 | 4 | _aQA76.6-76.66 | |
| 100 | 1 |
_aGabbrielli, Maurizio. _eeditor. _9322133 |
|
| 245 | 1 | 0 |
_aLogic Programming : _b21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / _cedited by Maurizio Gabbrielli, Gopal Gupta. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2005. |
|
| 300 |
_axiv, 454 páginas Also available online. _brecurso en línea. |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_acomputadora _bc _2rdamedia |
||
| 338 |
_arecurso en línea _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF _2rda |
||
| 490 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v3668 |
|
| 500 | _aSpringer eBooks | ||
| 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. | |
| 520 | _aThis book constitutes the refereed proceedings of the 21st International Conference on Logic and Programming, ICLP 2005, held in Barcelona, Spain, in October 2005. The 25 revised full papers and 15 revised poster papers presented together with 4 invited papers and 7 abstracts of a poster session of a doctoral consortium were carefully reviewed and selected from 104 submissions. The papers cover all issues of current research in logic programming. Extra attention is given to novel applications of logic programming and work providing novel integrations of different areas. | ||
| 590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
| 700 | 1 |
_aGupta, Gopal. _eeditor. _9329499 |
|
| 710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
| 776 | 0 | 8 |
_iEdición impresa: _z9783540292081 |
| 856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/11562931 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 | _c14 | ||
| 999 |
_c295246 _d295246 |
||