Logic programming

Más información sobre el libro

Inhaltsverzeichnis covers various topics in logic programming and reasoning. It discusses OWL as a description logic-based ontology language, preference reasoning, and the G12 Project that maps solver-independent models to efficient solutions. The use of logic programming for complex business rules is explored, alongside a generator for efficient abstract machine implementations and its application to emulator minimization. The relationship between answer set and SAT procedures is examined, as well as the integration of answer set and constraint solving. A comparison of CLP(FD) and ASP solutions to NP-complete problems is provided. The text delves into optimization techniques, such as guard and continuation optimization in CHR, and coordination of multiple agents. It also addresses parallelizing union-find in constraint handling rules using confluence analysis and presents an optimized semantic web query language implementation in Prolog. Other topics include distributed and probabilistic concurrent constraint programming, hybrid probabilistic logic programs, and reducing inductive definitions to propositional satisfiability. Additionally, it covers dynamic mixed-strategy evaluation, nondeterminism analysis of functional logic programs, and decision support for personalization on mobile devices. The annotation concludes with discussions on query optimization, formalization and verification of interaction protocols, and methodo