On abstract modular inference systems and solvers
Article in Artificial Intelligence (July 2016)
The most recent citing publication is shown below. View this citation on Dimensions.
Practical Aspects of Declarative Languages
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 ℞CML: A Prescription for Safely Relaxing Synchrony
-
Altmetric BadgeChapter 2 Partial Type Signatures for Haskell
-
Altmetric BadgeChapter 3 The F# Computation Expression Zoo
-
Altmetric BadgeChapter 4 Abstract Modular Inference Systems and Solvers
-
Altmetric BadgeChapter 5 Sunroof: A Monadic DSL for Generating JavaScript
-
Altmetric BadgeChapter 6 Compiling DNA Strand Displacement Reactions Using a Functional Programming Language
-
Altmetric BadgeChapter 7 Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems
-
Altmetric BadgeChapter 8 Towards Modeling Morality Computationally with Logic Programming
-
Altmetric BadgeChapter 9 A Declarative Specification of Giant Number Arithmetic
-
Altmetric BadgeChapter 10 Embedding Foreign Code
-
Altmetric BadgeChapter 11 Exploring the Use of GPUs in Constraint Solving
-
Altmetric BadgeChapter 12 On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
-
Altmetric BadgeChapter 13 Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces
-
Altmetric BadgeChapter 14 Expand: Towards an Extensible Pandoc System
-
Altmetric BadgeChapter 15 Generic Generic Programming
Attention for Chapter 12:
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs