The research on modular logic programming has evolved along two different directions
during the past decade. Various papers have focused primarily on the problems of …

In this paper we investigate the design space of access control logics. Specifically, we
consider several possible axioms for the common operator says. Some of the axioms come …

This paper considers the problem of checking whether an organization conforms to a body
of regulation. Conformance is cast as a trace checking question–the regulation is …

ABSTRACT We introduce Logic Web, an integration of structured logic programming and the
World-Wide Web. We show how LogicWeb enables programmable behaviour and state to …

LogicWeb is a model of the World Wide Web, where Web pages are rephrased as logic
programs, and hypertext links are relationships between these programs. A logic language …

The current proposals for the inclusion of modules in the ISO Prolog standard are not very
consensual. Since a program-structuring feature is required for a production programming …

This paper presents a survey of programming patterns for Logtalk parametric objects. A
parametric object is an object whose identifier is a compound term containing logical …

In this article we present the University of Evora's Integrated Information System (SIIUE),
which is meant to model most of the information necessary for the management and day-to …

The compositionality of the semantics of logic programs with respect to (different varieties of)
program union has been studied recently by a number of researchers. The approaches used …

The importance of temporal representation and reasoning is well known not only in the
database community but also in the artificial intelligence one. Contextual Logic …