Lind is revered as the first doctor to conduct systematic clinical trials of potential cures for scurvy—trials in which oranges and lemons came out as decisive winners. The following paper argues that our modern understanding of scurvy and vitamin C has hindered our understanding of Lind’s own conception of his work and of the place within it of his clinical trials. Lind conceived of scurvy not as a disease of dietary deficiency, but of faulty digestion. In the full context of his Treatise of the Scurvy, and of his own medical practice, the seeming decisiveness of the trials fades, to be replaced by a sense of Lind’s bafflement at the nature of the disease to which he had devoted his career.

Several extensions of the stable model semantics are available to describe "intensional" functions-functions that can be described in terms of other functions and predicates by logic programs. Such functions are useful for expressing inertia and default behaviors of systems, and can be exploited for alleviating the grounding bottleneck involving functional fluents. However, the extensions were defined in different ways under different intuitions. In this paper we provide several reformulations of the extensions, and note that they are in fact closely related to each other and coincide on large syntactic classes of logic programs.

Abstract. Answer Set Programming Modulo Theories (ASPMT) is an approach to combining answer set programming and satisfiability modulo theories based on the functional stable model semantics. It is shown that the tight fragment of ASPMT programs can be turned into SMT instances, thereby allowing SMT solvers to compute stable models of ASPMT programs. In this paper we present a compiler called ASPSMT2SMT, which implements this translation. The system uses ASP grounder GRINGO and SMT solver Z3. GRINGO partially grounds input programs while leaving some variables to be processed by Z3. We demonstrate that the system can effectively handle real number computations for reasoning about continuous changes.

No abstract