×

Found 35 Documents (Results 1–35)

Newest Citations Relevance
Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio

On the commutative diagrams among Galois connections involved in closure structures. (English) Zbl 07786581

Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 49-63 (2023).
MSC:  06A15 03E72 68T30
Cite Review PDF
Full Text: DOI
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel

Galois connections between unbalanced structures in a fuzzy framework. (English) Zbl 1512.06002

Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 736-747 (2020).
MSC:  06A15
Cite Review PDF
Full Text: DOI
Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido

An approach to fuzzy modal logic of time intervals. (English) Zbl 1464.68349

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 696-703 (2020).
MSC:  68T27 03B44 03B52
Cite Review PDF
Full Text: DOI
Muñoz-Velasco, Emilio (ed.); Ozaki, Ana (ed.); Theobald, Martin (ed.)

27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. (English) Zbl 1443.68018

LIPIcs – Leibniz International Proceedings in Informatics 178. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-167-2). xi, 19 articles, not consecutively paged, electronic only, open access (2020).
MSC:  68-06 03B44 68Q60 68T27 00B25
Cite Review PDF
Full Text: DOI Link
Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido

Extracting interval temporal logic rules: a first approach. (English) Zbl 1487.68192

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 7, 15 p. (2018).
MSC:  68T05 03B44
Cite Review PDF
Full Text: DOI
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido

Fast(er) reasoning in interval temporal logic. (English) Zbl 1434.03066

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 17, 17 p. (2017).
MSC:  03B44 68T27 68Q17
Cite Review PDF
Full Text: DOI
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido

On the expressive power of sub-propositional fragments of modal logic. (English) Zbl 1478.03034

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 91-104 (2016).
MSC:  03B45
Cite Review PDF
Full Text: arXiv Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software