Willkommen, schön sind Sie da!
Logo Ex Libris

Logic Programming

  • E-Book (pdf)
  • 458 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt OWL: A Description Logic Based Ontology Language.- Preference Reasoning.- The G12 Project: Mapping Solver Independent Model... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 106.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt

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.

Produktinformationen

Titel: Logic Programming
Untertitel: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
Editor:
EAN: 9783540319474
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 458
Veröffentlichung: 10.10.2005
Dateigrösse: 4.6 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Band 3668
Sie sind hier.