The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms ...

The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms ...

Abstract. We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G’3 which ...

In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M. Dung’s characterization of argument systems, a local ...

Abstract. We introduce the general notion 01 a Confluent LPSystem, which is a rewriting system on the set 01 all logic pmgrams over a signature L. Such a system is based on certain translormation rules and induces a ...

In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch ...

In this paper, I will argue that Logics of Formal Inconsistency (LFIs) can be used as very sophisticated and powerful methods of classical recapture. I will compare LFIs with the well-known non-monotonic logics by Batens ...

In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the {→, ∧, ⊤}-fragment of intuitionistic logic is the variety ...