Category: Feature Articles

PSOA RuleML Bridges Graph and Relational Databases

By Harold Boley University of New Brunswick, Fredericton, Canada ABSTRACT In PSOA RuleML, Graph Databases and Relational Databases are bridged conceptually, with interoperation paths through its metamodel of three orthogonal dimensions, as well as programmatically, with transition rules realized in…

DLV: Evolution and Perspectives

DLV is a system for Answer Set Programming (ASP), a logic-based programming paradigm for solving problems in a fully declarative way. It has been one of the first solid and reliable ASP systems, widely used in academy and fruitfully employed in many relevant industrial applications. In this paper …

The s(ASP) Predicate Answer Set Programming System

By Kyle Marple, Elmer Salazar Zhuo Chen, and Gopal Gupta Department of Computer Science The University of Texas at Dallas   Abstract: We present the s(ASP) system that computes stable models of normal logic programs, i.e., logic programs extended with…