Construction of system of spheres-based transitively relational partial meet multiple contractions:

Author:  

Publication:  Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags:     AI

Abstract

In this paper we show that, contrary to what is the case in what concerns contractions by a single sentence, there is not a system of spheres-based construction of multiple contractions which generates each and every transitively relational partial meet multiple contraction.

Cite this article

https://doi.org/10.1016/j.artint.2016.01.001

View full text

>> Full Text:   Construction of system of spheres-based transitively relational partial meet multiple contractions:

Domain expansion for ASP-programs with external sources

Editorial Board