Digital Commons Network^™

Cmodels-2: Sat-Based Answer Set Solver Enhanced To Non-Tight Programs, Yuliya Lierler, Marco Maratea

Computer Science Faculty Proceedings & Presentations

Answer set programming is a new programming paradigm proposed in [1] and [2], and based on the answer set semantics of Prolog [3]. It is well known that an answer set for a logic program is also a model of the program’s completion [4]. The converse is true when the logic program is “tight” [6, 5]. Lin and Zhao [7] showed that for non-tight programs the models of completion which do not correspond to answer sets can be eliminated by adding to the completion what they called “loop formulas”. Nevertheless, their solver ASSAT¹ has some disadvantages: it can work …

A Sat-Based Polynomial Space Algorithm For Answer Set Programming, Enrico Giunchiglia, Marco Maratea, Yuliya Lierler

Computer Science Faculty Proceedings & Presentations

The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boost of SAT solvers during last years. Various translations from ASP to SAT are known but the resulting SAT formula either includes many new variables or may have an unpractical size. There are also well known results showing a one-to-one correspondence between the answer sets of a logic program and the models of its completion. Unfortunately, these results only work for specific classes of problems.

In this paper we present a SAT-Based decision procedure for …

The New Negro Arts And Letters Movement Among Black University Students In The Midwest, 1914-1940, Richard M. Breaux

Black Studies Faculty Publications

The 1920s, 1930s, and 1940s were an exciting time for black artists and writers in the United States. Much of the historical literature highlights the so-called Harlem Renaissance or its successor, the Black Chicago Renaissance. Few studies, however, document the influence of these artistic movements outside major urban cities such as New York, Chicago, or Washington, DC. In his 1988 essay on black education, historian Ronald Butchart argued that the educational effects of black social movements such as the Harlem Renaissance on black schooling are unclear and underexplored. This article explores the influence of the New Negro arts and letters …

Evaluation Of A Simple Carrier Molecule To Enhance Drug Penetration Of Dermal Layers By Utilizing Multivariate Methods, Structure Property Correlations, And Continuous System Modeling, Ronald Bartzatt

Chemistry Faculty Publications

Nicotinic acid is shown to be comparable to dihydropyridine in its capacity to facilitate penetration of an attached antibacterial drug through dermal layers. Antibacterial drugs examined with nicotinic acid or dihydropyridine carriers were b-lactam antibiotics: methicillin, oxacillin, benzylpenicillin, penicillin F, penicillin dihydro F, propicillin, carbenicillin, penicillin K, penicillin X, and ampicillin. An oxymethyl (-O-CH2-) group is inserted as the linker between the antibiotic and the carrier group. Structure Property Correlations and multivariate methods such as regression analysis, cluster analysis, principal component analysis, discriminate analysis, self-organizing tree algorithm, and factor analysis clearly showed that nicotinic acid performs as an effective carrier …