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 ...

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 ...

Copyright © Royal Society of Edinburgh 2019.We are revisiting the topic of travelling fronts for the food-limited (FL) model with spatio-temporal nonlocal reaction. These solutions are crucial for understanding the whole ...

We are revisiting the topic of travelling fronts for the food-limited (FL) model with spatio-temporal nonlocal reaction. These solutions are crucial for understanding the whole model dynamics. Firstly, we prove the existence ...

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 ...