Results for 'Emilio Munoz Velasco'

1000+ found
Order:
  1.  2
    On Coarser Interval Temporal Logics.Emilio Muñoz-Velasco, Mercedes Pelegrín, Pietro Sala, Guido Sciavicco & Ionel Eduard Stan - 2019 - Artificial Intelligence 266:1-26.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  2
    A Flexible Logic-Based Approach to Closeness Using Order of Magnitude Qualitative Reasoning.Alfredo Burrieza, Emilio MuÑoz-Velasco & Manuel Ojeda-Aciego - forthcoming - Logic Journal of the IGPL.
    In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Relational Approach for a Logic for Order of Magnitude Qualitative Reasoning with Negligibility, Non-Closeness and Distance.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2009 - Logic Journal of the IGPL 17 (4):375–394.
    We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and its dual (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  36
    Reasoning with Qualitative Velocity: Towards a Hybrid Approach.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 635--646.
    Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitative information. We consider a Propositional Dynamic Logic which deals with qualitative velocity and enables us to represent some reasoning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  35
    Relational Dual Tableau Decision Procedure for Modal Logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
    We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system RLK in Prolog, and we show some of its advantages.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  24
    Relational Dual Tableau Decision Procedure for Modal Logic K.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora-Bonilla - 2012 - Logic Journal of the IGPL 20 (4):747-756.
    We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system in Prolog, and we show some of its advantages.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  39
    A New Deduction System for Deciding Validity in Modal Logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.
    A new deduction system for deciding validity for the minimal decidable normal modal logic K is presented in this article. Modal logics could be very helpful in modelling dynamic and reactive systems such as bio-inspired systems and process algebras. In fact, recently the Connectionist Modal Logics has been presented, which combines the strengths of modal logics and neural networks. Thus, modal logic K is the basis for these approaches. Soundness, completeness and the fact that the system itself is a decision (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  25
    Implementing a Relational Theorem Prover for Modal Logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
    An automatic theorem prover for a proof system in the style of dual tableaux for the relational logic associated with modal logic K has been introduced. Although there are many well-known implementations of provers for modal logic, as far as we know, it is the first implementation of a specific relational prover for a standard modal logic. There are two main contributions in this paper. First, the implementation of new rules, called (k1) and (k2), which substitute the classical relational rules (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  26
    Dual Tableau for a Multimodal Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.Joanna Golińska-Pilarek & Emilio Munoz-Velasco - 2009 - International Journal of Computer Mathematics 86 (10-11):1707–1718.
    We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  13
    Tableau Reductions: Towards an Optimal Decision Procedure for the Modal Necessity.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora - 2016 - Journal of Applied Logic 17:14-24.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  19
    Relational Dual Tableau Decision Procedures and Their Applications to Modal and Intuitionistic Logics.Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco - 2014 - Annals of Pure and Applied Logic 165 (2):409-427.
    This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  8
    Analyzing Completeness of Axiomatic Functional Systems for Temporal × Modal Logics.Alfredo Burrieza, Inmaculada P. de Guzmán & Emilio Muñoz-Velasco - 2010 - Mathematical Logic Quarterly 56 (1):89-102.
    In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  40
    An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-Closeness and Distance.Joanna Golinska-Pilarek, Angel Mora & Emilio Munoz Velasco - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 128--139.
    We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualitative sum of some classes of numbers. In the design of our ATP, we have introduced some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Analyzing Completeness of Axiomatic Functional Systems for Temporal × Modal Logics.Alfredo Burrieza Muñiz, Inmaculada Pérez de Guzmán Molina & Emilio J. Muñoz Velasco - 2010 - Mathematical Logic Quarterly 56 (1):89-102.
     
    Export citation  
     
    Bookmark  
  15.  14
    A Multimodal Logic for Closeness.M. Ojeda-Aciego, E. Muñoz-Velasco & A. Burrieza - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):225-237.
    We introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  11
    Immanuel Kant, Lecciones de antropología: fragmentos de estética y antropología, ed. crítica y trad. de Manuel Sánchez Rodríguez, Comares , Granada, 2015, 272 pp. [REVIEW]Julia Muñoz Velasco - 2017 - Dianoia 62 (78):236-239.
    Resumen: En este artículo reviso la interpretación de Eduardo Nicol de la teoría de la propiedad de Francisco Suárez. Para ello, presento la posición de Suárez acerca de la propiedad y la propiedad privada atendiendo dos cuestiones fundamentales. La primera es si la propiedad y la propiedad privada son derechos; la segunda es si ambos pertenecen a la naturaleza humana o no. Al final, argumento que la lectura de Nicol es insostenible, pues difícilmente puede admitirse que Suárez defendió algún tipo (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  7
    Andrea Faggion, Nuria Sánchez Madrid y Alessandro Pinzani , Kant and Social Policies, Palgrave Macmillan, Cham, Suiza, 2016, 192 pp. [REVIEW]Julia Muñoz Velasco - 2018 - Dianoia 63 (81):143-147.
    Resumen: Ante las críticas insistentes a la distinción entre el empirismo y el racionalismo, se han propuesto alternativas para comprender de manera más adecuada el quehacer de los filósofos modernos. Entre ellas está la distinción entre filosofía especulativa y experimental. Intentaré evaluar la validez de esta distinción para la filosofía moral experimental del siglo XVIII y, en particular, para la propuesta de Hume. Mostraré que si la distinción se entiende en términos excluyentes, resulta inapropiada porque el mismo Hume plantea que (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  8
    Relational Approach for a Logic for Order of Magnitude Qualitative Reasoning with Negligibility, Non-Closeness and Distance.J. Golinska-Pilarek & E. Muñoz-Velasco - 2009 - Logic Journal of the IGPL 17 (4):375-394.
    We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and its dual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  3
    A Hybrid Qualitative Approach for Relative Movements.J. Goli ska-Pilarek & E. Munoz-Velasco - 2015 - Logic Journal of the IGPL 23 (3):410-420.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  2
    Los costos sociales de Los diálogos de Paz en colombia. Una mirada desde la justicia Del resarcimiento.Ángel Emilio Muñoz Cardona - 2018 - Télos 21 (2):9-38.
    The purpose of this research paper is to do reflection on the importance of the preservation of the justice in the peace talks in Colombia for that serve the construction a better country and a better society of the post-conflict. To achieve it is necessary to revise the justice concepts of redress of Adam Smith and associate it with the concept of utilitarianism of John Stuart Mill as search for the general happiness. The investigation go to do a traceability exhaustive (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Analogías biológicas de la veión evolucioneta Del cambio técnico Emilio muñoz.Evolucionista Del Cambio Técnico - 1996 - Ludus Vitalis 4 (6-7):29.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  4
    Gobernanza, ciencia, tecnología y política: trayectoria y evolución.Emilio Muñoz - 2005 - Arbor 181 (715):287-300.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  23.  4
    Dynamics and Measurements of the Scientist and Technical Ethics.Emilio Muñoz - 2008 - Arbor 184 (730).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  17
    Introducción al estudio del turismo a través del materialismo cultural.Alejandro Palafox Muñoz, Lilia Zizumbo Villarreal, Emilio Gerardo Arriaga Álvarez & Neptalí Monterroso Salvatierra - 2010 - Polis: Revista Latinoamericana 25.
    Con el modelo de bienestar, los sectores económicos tuvieron un crecimiento sustantivo en México. Con el cambio del modelo económico, el sector servicios, sobre todo, el turismo, se ha consolidado como una actividad que homogeniza y funcionaliza el paisaje para facilitar la apropiación de los recursos naturales y culturales de las comunidades rurales para la expansión de la economía de libre mercado, con el objetivo de que permanezca el modo de producción y reproducción vinculado al capital, con lo que se (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  3
    From a Bounded View to a Globalized Perspective: Considerations on a Human Right to Health.Julia Muñoz Velasco - 2018 - In Johannes Rohbeck, Daniel Brauer & Concha Roldán (eds.), Philosophy of Globalization. De Gruyter. pp. 137-152.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  19
    The Scientific Periphery in Spain: The Establishment of a Biomedical Discipline at the Centro de Investigaciones Biológicas, 1956-1967.Maria Jesus Santesmases & Emilio Munoz - 1997 - Minerva 35 (1):27-45.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  20
    La Construction Institutionnelle de la Biochimie Espagnole (1945-1970): Rôle des Échanges Avec l'Europe du Nord Et l'Amérique/The Institutional Construction of Spanish Biochemistry (1945-1970): The Role of Exchanges with Northern Europe and America. [REVIEW]Maria Jesus Santesmases & Emilio Munoz - 1999 - Revue d'Histoire des Sciences 52 (1):33-50.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28. El sistema de investigación en España. Investigación e innovación.Emilio Muñoz - 1999 - Arbor 162 (639):391-428.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  13
    Reflexiones acerca del cambio ambiental global: gobernanza, sostenibilidad y espacio social.Emilio Muñoz - 2009 - Dilemata 1 (1).
    The global environmental change shows a great complexity in its data and consequences what poses problems for its understanding and for evaluating its undergoing risks. Sustainable development and sustainability are concepts associated to the environmental global change which present limitations on both the semantic point of view and the operational and appraisal issues. The exploration of the potential links between the scientific spheres and the sustainability concept points out to complex and mixed relationships. In any way, the understood effects indicate (...)
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  13
    La percepción de los actores de la seguridad alimentaria.Gloria Ponce & Emilio Muñoz - 2005 - Arbor 181 (715):393-402.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  7
    Relación entre biotecnología y medio ambiente: una visión desde la complejidad.Emilio Muñoz - 1997 - Ludus Vitalis 2 (UMERO ESPECIAL):345-359.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  5
    Biotecnología, sociedad y economía: una visión personal.Emilio Muñoz - 2014 - Arbor 190 (768):a147.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  4
    La Crisis de la Política Científica: Patologías Degenerativas y Terapias Regenerativas. A Modo de Epílogo.Emilio Muñoz - 2009 - Arbor 185 (738):837-850.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  3
    Characterization of the Spaces of Kowledge: Governance Paths of the Spanish Technological Development.Emilio Muñoz - 2008 - Arbor 184 (732).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Sociedad y cambio técnico. Analogías biológicas de la visión evolucionista del cambio técnico.Emilio Muñoz - 1996 - Ludus Vitalis 4 (6):29-54.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. La Construction Institutionnelle de la Biochimie Espagnole (1945-1970): Rôle des Échanges Avec l'Europe du Nord Et l'Amérique. [REVIEW]Maria Jésus Santesmases & Emilio Munoz - 1999 - Revue d'Histoire des Sciences 52 (1):33-49.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  5
    Reseña de "El Vínculo Entrte Razón y Lenguaje" de Emilio Liedó.María Teresa Muñoz - 2000 - Signos Filosóficos 4:235-244.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  6
    El acuerdo con las FARC. Una revisión en torno a su utilidad.Paula A. Valencia & Pedro Francés-Gómez - 2019 - Télos 22 (1-2):9-32.
    The article “Diálogos de paz en Colombia: una Mirada desde la justicia del resarcimiento”[1] holds that the end-of-conflict agreement signed by the Colombian government and the FARC does not bring any general utility; specially because of the absolute impunity that Transitional Justice implies. The deal is dubbed “utilitarian”, meaning that the agreement was made in the personal interests of those who intervened in it -Government and guerrilla-. In contrast, this article will defend the general utility of the agreement and show (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  3
    Spanish Philosophy of Technology: Contemporary Work From the Spanish Speaking Community.José López Cerezo & Belén Laspra (eds.) - 2018 - Springer Verlag.
    This volume features essays that detail the distinctive ways authors and researchers in Spanish speaking countries express their thoughts on contemporary philosophy of technology. Written in English but fully capturing a Spanish perspective, the essays bring the views and ideas of pioneer authors and many new ones to an international readership. Coverage explores key topics in the philosophy of technology, the ontological and epistemological aspects of technology, development and innovation, and new technological frontiers like nanotechnology and cloud computing. In addition, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  24
    Véronique Munoz‐Dardé.Samuel Scheffler & Véronique Munoz‐Dardé - 2005 - Aristotelian Society Supplementary Volume 79 (1):255-284.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  41.  4
    Rubén Sánchez muñoz Y Sandra García Pérez (coord.) Meditaciones sobre la filosofía de Ortega, méxico, universidad veracruzana/torres asociados, 2016, 153 pp. autopresentación. [REVIEW]Rubén Sánchez Muñoz & Sandra García Pérez - 2021 - Investigaciones Fenomenológicas 13:239.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Homenaje a Muñoz Alonso.Adolfo Muñoz Alonso & Angel González Alvarez - 1975 - [Universidad Complutense de Madrid],].
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Philosophy and Human Development: Essays in Honour of Father Emilio Ugarte, S.J.Emilio Ugarte, Anand Amaladass, Sebasti L. Raj & Jose Elampassery (eds.) - 1986 - Satya Nilayam Publications.
     
    Export citation  
     
    Bookmark  
  44. Hannah Arendt. El espacio público (María Teresa Muñoz Sánchez).Cristina Sánchez Muñoz - 2004 - Dianoia 53:133-138.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Philosophie Et Théologie: Festschrift Emilio Brito.Emilio Brito & Éric Gaziaux (eds.) - 2007 - Leuven University Press.
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. David Pérez Chico & Luisa Paz Rodríguez Suárez, Eds. 2011. Explicar y Comprender (A. Velasco Gómez).A. Velasco Gómez - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (1):167-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  13
    Adolfo Muñoz-Alonso.Adolfo Muñoz-Alonso - 1960 - Atti Del XII Congresso Internazionale di Filosofia 3:497-500.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. El azar de las fronteras.Juan Carlos Velasco - 2016 - México: Fondo de Cultura Económica.
    La migración internacional nos enfrenta con problemas irresolubles desde la figura moderna del Estado nacional, su concepto de ciudadanía y su noción de justicia. Juan Carlos Velasco critica las limitaciones y la orientación de las políticas contemporáneas que nos hacen percibir a la migración como una “invasión”, y propone un modo radicalmente diferente de entender e intervenir el fenómeno desde lo trasnacional. Nacer de uno u otro lado de una línea divisoria es un evento azaroso, no obstante delimitar la (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  49. Tra Estetica, Poetica E Retorica: In Memoria di Emilio Mattioli.Rita Messori & Emilio Mattioli (eds.) - 2012 - Mucchi.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Grounding Nonexistence.Daniel Muñoz - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (2):209-229.
    Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 1000