Construction of System of Spheres-Based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)

Maurício D. Luís Reis, Eduardo Fermé, Pavlos Peppas

IJCAI 2017 pp. 5045-5049

doi:10.24963/IJCAI.2017/719 /ijcai/2017/reis2017ijcai-construction/

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. Furthermore, we propose two system of spheres-based constructions of multiple contractions which generate (only) transitively relational partial meet multiple contractions.

PDF IJCAI Semantic Scholar

Cite

Text

Reis et al. "Construction of System of Spheres-Based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/719

Markdown

[Reis et al. "Construction of System of Spheres-Based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/reis2017ijcai-construction/) doi:10.24963/IJCAI.2017/719

BibTeX

@inproceedings{reis2017ijcai-construction,
  title     = {{Construction of System of Spheres-Based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)}},
  author    = {Reis, Maurício D. Luís and Fermé, Eduardo and Peppas, Pavlos},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5045-5049},
  doi       = {10.24963/IJCAI.2017/719},
  url       = {https://mlanthology.org/ijcai/2017/reis2017ijcai-construction/}
}