The importance of transformations and normal forms in logic programming, and generally in
computer science, is well documented. This paper investigates transformations and normal …

We address the problem of authorization in large-scale, open, distributed systems.
Authorization decisions are needed in electronic commerce, mobile-code execution, remote …

This paper lays out the design rationale of RuleML, a rule markup language for the Semantic
Web. We give an overview of the RuleML Initiative as a Web ontology effort. Subsequently …

Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic
reasoning. It has powerful implementations and shows promise to be applied in the areas of …

We address why, and especially how, to represent business rules in e-commerce contracts.
By contracts, we mean descriptions of goods and services offered or sought, including …

Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules,
and a priority relation on rules. We show that inference in the propositional form of the logic …

Representing and reasoning with priorities are important in commonsense reasoning. This
paper introduces a framework of prioritized logic programming (PLP), which has a …

For many years, the non-montonic reasoning community has focussed on highly expressive
logics. Such logics have turned out to be computationally expensive, and have given little …

In recent years, there has been a large amount of disparate work concerning the
representation and reasoning with qualitative preferential information by means of …

F lora-2 is a rule-based object-oriented knowledge base system designed for a variety of
automated tasks on the Semantic Web, ranging from meta-data management to information …