In this paper, we examine an argument-based semantics called semi-stable semantics.
Semi-stable semantics is quite close to traditional stable semantics in the sense that every …

It is well-known that knowledgebases may contain inconsistencies. We provide a measure to
quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the …

In this article, we examine an argument-based semantics called semi-stable semantics.
Semi-stable semantics is quite close to traditional stable semantics in the sense that every …

The paper presents a focused survey about the presence and the use of the concept of
“preferences” in Artificial Intelligence. Preferences are a central concept for decision making …

In this paper, the problem of deriving sensible information from a collection of argumentation
systems coming from different agents is addressed. The underlying argumentation theory is …

This chapter provides the reader with a presentation of preference modelling fundamental
notions as well as some recent results in this field. Preference modelling is an inevitable …

Based on a historical debate on bipolar logical reasoning, this article surveys the rugged
road from negative numbers to quantum intelligence (QI) machinery. The survey leads to a …

One approach to the paradoxes of self-referential languages is to allow some sentences to
lack a truth value (or to have more than one). Then assigning truth values where possible …

Inconsistency arises in many areas in advanced computing. Examples include: Merging
information from heterogeneous sources; Negotiation in multi-agent systems; Understanding …

Proof-assistants using dependent type systems | Handbook of automated reasoning ACM
Digital Library home ACM home Google, Inc. (search) Advanced Search Browse About Sign in …