This paper surveys the main results appearing in the literature on the computational
complexity of non-monotonic inference tasks. We not only give results about the …

In traditional ecological models, the effects of abiotic and biotic factors are often assumed to
be monotonic, ie either positive, negative or neutral. However, there has been growing …

The default approach to the theory of logic programs (and deductive databases) is based on
the interpretation of negation by default rules. Default logic is a well-suited formalism to …

Modern statistical AI systems are quite large and complex; this interferes with research,
development, and education. We point out that most of the computation involves database …

Default logic is introduced as a well-suited formalism for defining the declarative semantics
of deductive databases and logic programs. After presenting, in general, how to use default …

This paper surveys and compares different techniques investigated in order to integrate
negation in rule-based query languages. In the context of deductive databases, a rule-based …

The Q-UEL language of XML-like tags and the associated software applications are
providing a valuable toolkit for Evidence Based Medicine (EBM). In this paper the already …

Counting the number of models of a Boolean formula is a fundamental problem in artificial
intelligence and reasoning. Minimal models of a Boolean formula are critical in various …

Abstract Semantics of active rules is generally defined by execution models. The lack of a
clean declarative semantics threats active system reliability. In this paper, a declarative …

The concept of program equilibrium, introduced by Howard (Theory and Decision 24 (3):
203–213, 1988) and further formalised by Tennenholtz (Game Econ Behav 49: 363–373 …