Search

Your search keyword '"Muñoz-Velasco, Emilio"' showing total 95 results
Start Over Author "Muñoz-Velasco, Emilio"
95 results on '"Muñoz-Velasco, Emilio"'

1. On Pseudointents in Fuzzy Formal Concept Analysis

Author

Ojeda-Hernández, Manuel, Cabrera, Inma P., Cordero, Pablo, Muñoz-Velasco, Emilio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ojeda-Aciego, Manuel, editor, Sauerwald, Kai, editor, and Jäschke, Robert, editor

Published
2023
Full Text
View/download PDF

2. On the Commutative Diagrams Among Galois Connections Involved in Closure Structures

Author

Ojeda-Hernández, Manuel, Cabrera, Inma P., Cordero, Pablo, Muñoz-Velasco, Emilio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Dürrschnabel, Dominik, editor, and López Rodríguez, Domingo, editor

Published
2023
Full Text
View/download PDF

4. On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs

Author

Cabrera, Inma P., Cordero, Pablo, Muñoz-Velasco, Emilio, Ojeda-Aciego, Manuel, De Baets, Bernard, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Ciucci, Davide, editor, Couso, Inés, editor, Medina, Jesús, editor, Ślęzak, Dominik, editor, Petturiti, Davide, editor, Bouchon-Meunier, Bernadette, editor, and Yager, Ronald R., editor

Published
2022
Full Text
View/download PDF

5. Relational Extension of Closure Structures

Author

Ojeda-Hernández, Manuel, Cabrera, Inma P., Cordero, Pablo, Muñoz-Velasco, Emilio, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Ciucci, Davide, editor, Couso, Inés, editor, Medina, Jesús, editor, Ślęzak, Dominik, editor, Petturiti, Davide, editor, Bouchon-Meunier, Bernadette, editor, and Yager, Ronald R., editor

Published
2022
Full Text
View/download PDF

11. On Sub-Propositional Fragments of Modal Logic

Author

Bresolin, Davide, Muñoz-Velasco, Emilio, and Sciavicco, Guido

Subjects
Computer Science - Logic in Computer Science, 03D15
Abstract

In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fragment, defined as the intersection of the Horn and the Krom fragments, plus their sub-fragments obtained by limiting the use of boxes and diamonds in clauses. We focus, first, on the relative expressive power of such languages: we introduce a suitable measure of expressive power, and we obtain a complex hierarchy that encompasses all fragments of the considered logics. Then, after observing the low expressive power, in particular, of the Horn fragments without diamonds, we study the computational complexity of their satisfiability problem, proving that, in general, it becomes polynomial.

Published
2016
Full Text
View/download PDF

12. On the Expressive Power of Sub-Propositional Fragments of Modal Logic

Author

Bresolin, Davide, Muñoz-Velasco, Emilio, and Sciavicco, Guido

Subjects
Computer Science - Logic in Computer Science
Abstract

Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial logic, where the most expressive formalisms have a very high complexity or are even undecidable. In search of computationally well-behaved fragments, clausal forms and other sub-propositional restrictions of temporal and description logics have been recently studied. This renewed interest on sub-propositional logics, which mainly focus on the complexity of the various fragments, raise natural questions on their the relative expressive power, which we try to answer here for the basic multi-modal logic Kn. We consider the Horn and the Krom restrictions, as well as the combined restriction (known as the core fragment) of modal logic, and, orthogonally, the fragments that emerge by disallowing boxes or diamonds from positive literals. We study the problem in a very general setting, to ease transferring our results to other meaningful cases., Comment: In Proceedings GandALF 2016, arXiv:1609.03648

Published
2016
Full Text
View/download PDF

13. Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)

Author

Bresolin, Davide, Kurucz, Agi, Muñoz-Velasco, Emilio, Ryzhikov, Vladislav, Sciavicco, Guido, and Zakharyaschev, Michael

Subjects
Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, I.2.4, F.4.1, F.2.2
Abstract

We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we show that satisfiability of Horn formulas with diamonds is undecidable for any type of linear orders and semantics. On the contrary, satisfiability of Horn formulas with boxes is tractable over both discrete and dense orders under the reflexive semantics and over dense orders under the irreflexive semantics, but becomes undecidable over discrete orders under the irreflexive semantics. Satisfiability of binary Horn formulas with both boxes and diamonds is always undecidable under the irreflexive semantics.

Published
2016
Full Text
View/download PDF

16. Galois Connections Between Unbalanced Structures in a Fuzzy Framework

Author

Cabrera, Inma P., Cordero, Pablo, Muñoz-Velasco, Emilio, Ojeda-Aciego, Manuel, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Lesot, Marie-Jeanne, editor, Vieira, Susana, editor, Reformat, Marek Z., editor, Carvalho, João Paulo, editor, Wilbik, Anna, editor, Bouchon-Meunier, Bernadette, editor, and Yager, Ronald R., editor

Published
2020
Full Text
View/download PDF

19. A Relational Extension of Galois Connections

Author

Cabrera, Inma P., Cordero, Pablo, Muñoz-Velasco, Emilio, Ojeda-Aciego, Manuel, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Cristea, Diana, editor, Le Ber, Florence, editor, and Sertkaya, Baris, editor

Published
2019
Full Text
View/download PDF

24. A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning

Author

Burrieza, Alfredo, Muñoz-Velasco, Emilio, Ojeda-Aciego, Manuel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Martínez-Álvarez, Francisco, editor, Troncoso, Alicia, editor, Quintián, Héctor, editor, and Corchado, Emilio, editor

Published
2016
Full Text
View/download PDF

27. On Coarser Interval Temporal Logics and their Satisfiability Problem

Author

Muñoz-Velasco, Emilio, Pelegrín-García, Mercedes, Sala, Pietro, Sciavicco, Guido, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Puerta, José M., editor, Gámez, José A., editor, Dorronsoro, Bernabe, editor, Barrenechea, Edurne, editor, Troncoso, Alicia, editor, Baruque, Bruno, editor, and Galar, Mikel, editor

Published
2015
Full Text
View/download PDF

29. A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic

Author

Willem Conradie and Riccardo Monego and Emilio Muñoz-Velasco and Guido Sciavicco and Ionel Eduard Stan, Conradie, Willem, Monego, Riccardo, Muñoz-Velasco, Emilio, Sciavicco, Guido, Stan, Ionel Eduard, Willem Conradie and Riccardo Monego and Emilio Muñoz-Velasco and Guido Sciavicco and Ionel Eduard Stan, Conradie, Willem, Monego, Riccardo, Muñoz-Velasco, Emilio, Sciavicco, Guido, and Stan, Ionel Eduard

Abstract

Interval temporal logic plays a critical role in various applications, including planning, scheduling, and formal verification; recently, interval temporal logic has also been successfully applied to learning from temporal data. Halpern and Shoham’s interval temporal logic, in particular, stands out as a very intuitive, yet expressive, interval-based formalism. To address real-world scenarios involving uncertainty and imprecision, Halpern and Shoham’s logic has been recently generalized to the fuzzy (many-valued) case. The resulting language capitalizes on many-valued modal logics, allowing for a range of truth values that reflect multiple expert perspectives, but inherits the bad computational behaviour of its crisp counterpart. In this work, we investigate a sound and complete tableau system for fuzzy Halpern and Shoham’s logic, which, although possibly non-terminating, offers a semi-decision procedure for the finite case.

Published
2023
Full Text
View/download PDF

30. Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations

Author

Bresolin, Davide, Muñoz-Velasco, Emilio, Sciavicco, Guido, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Siekmann, Jörg, Series editor, Fermé, Eduardo, editor, and Leite, João, editor

Published
2014
Full Text
View/download PDF

31. Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL

Author

Burrieza, Alfredo, Muñoz-Velasco, Emilio, Ojeda-Aciego, Manuel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Meseguer, Pedro, editor, Mandow, Lawrence, editor, and Gasca, Rafael M., editor

Published
2010
Full Text
View/download PDF

41. LIPIcs, Volume 178, TIME 2020, Complete Volume

Author

Muñoz-Velasco, Emilio, Ozaki, Ana, and Theobald, Martin

Subjects
Data processing Computer science, Computing methodologies → Knowledge representation and reasoning, LIPIcs, Volume 178, TIME 2020, Complete Volume, ddc:004, Theory of computation → Logic, Information systems → Temporal data
Abstract

LIPIcs, Volume 178, TIME 2020, Complete Volume

Published
2020

42. Front Matter, Table of Contents, Preface, Conference Organization

Author

Muñoz-Velasco, Emilio, Ozaki, Ana, and Theobald, Martin

Subjects
Conference Organization, Table of Contents, Computing methodologies → Knowledge representation and reasoning, Preface, Front Matter, Theory of computation → Logic, Information systems → Temporal data
Abstract

Front Matter, Table of Contents, Preface, Conference Organization

Published
2020
Full Text
View/download PDF

43. LIPIcs, Volume 178, TIME 2020, Complete Volume

Author

Emilio Muñoz-Velasco and Ana Ozaki and Martin Theobald, Muñoz-Velasco, Emilio, Ozaki, Ana, Theobald, Martin, Emilio Muñoz-Velasco and Ana Ozaki and Martin Theobald, Muñoz-Velasco, Emilio, Ozaki, Ana, and Theobald, Martin

Abstract

LIPIcs, Volume 178, TIME 2020, Complete Volume

Published
2020
Full Text
View/download PDF

44. Front Matter, Table of Contents, Preface, Conference Organization

Author

Emilio Muñoz-Velasco and Ana Ozaki and Martin Theobald, Muñoz-Velasco, Emilio, Ozaki, Ana, Theobald, Martin, Emilio Muñoz-Velasco and Ana Ozaki and Martin Theobald, Muñoz-Velasco, Emilio, Ozaki, Ana, and Theobald, Martin

Abstract

Front Matter, Table of Contents, Preface, Conference Organization

Published
2020
Full Text
View/download PDF

47. On Sub-Propositional Fragments of Modal Logic

Author

Bresolin, Davide, Muñoz-Velasco, Emilio, and Sciavicco, Guido

Subjects
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Krom and sub-Krom fragments, Modal logic, 03D15, Horn and sub-Horn fragments, Logic in Computer Science (cs.LO), NO
Abstract

In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fragment, defined as the intersection of the Horn and the Krom fragments, plus their sub-fragments obtained by limiting the use of boxes and diamonds in clauses. We focus, first, on the relative expressive power of such languages: we introduce a suitable measure of expressive power, and we obtain a complex hierarchy that encompasses all fragments of the considered logics. Then, after observing the low expressive power, in particular, of the Horn fragments without diamonds, we study the computational complexity of their satisfiability problem, proving that, in general, it becomes polynomial., Logical Methods in Computer Science ; Volume 14, Issue 2 ; 1860-5974

Published
2018

48. Extracting interval temporal logic rules: A first approach

Author

Bresolin, Davide, Cominato, Enrico, Gnani, Simone, Muñoz-Velasco, Emilio, and Sciavicco, Guido

Subjects
Horn fragment, Interval temporal logic, Rule extraction, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 000 Computer science, knowledge, general works, Computer Science, NO
Abstract

Discovering association rules is a classical data mining task with a wide range of applications that include the medical, the financial, and the planning domains, among others. Modern rule extraction algorithms focus on static rules, typically expressed in the language of Horn propositional logic, as opposed to temporal ones, which have received less attention in the literature. Since in many application domains temporal information is stored in form of intervals, extracting interval-based temporal rules seems the natural choice. In this paper we extend the well-known algorithm APRIORI for rule extraction to discover interval temporal rules written in the Horn fragment of Halpern and Shoham's interval temporal logic.

Published
2018

50. Extracting Interval Temporal Logic Rules: A First Approach

Author

Davide Bresolin and Enrico Cominato and Simone Gnani and Emilio Muñoz-Velasco and Guido Sciavicco, Bresolin, Davide, Cominato, Enrico, Gnani, Simone, Muñoz-Velasco, Emilio, Sciavicco, Guido, Davide Bresolin and Enrico Cominato and Simone Gnani and Emilio Muñoz-Velasco and Guido Sciavicco, Bresolin, Davide, Cominato, Enrico, Gnani, Simone, Muñoz-Velasco, Emilio, and Sciavicco, Guido

Abstract

Discovering association rules is a classical data mining task with a wide range of applications that include the medical, the financial, and the planning domains, among others. Modern rule extraction algorithms focus on static rules, typically expressed in the language of Horn propositional logic, as opposed to temporal ones, which have received less attention in the literature. Since in many application domains temporal information is stored in form of intervals, extracting interval-based temporal rules seems the natural choice. In this paper we extend the well-known algorithm APRIORI for rule extraction to discover interval temporal rules written in the Horn fragment of Halpern and Shoham's interval temporal logic.

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results