•  40
    A Construção Das Noções De Espaço E Tempo Nas Crianças Da Educação Infantil
    with Júnior Saccon Frezza
    Conjectura: Filosofia E Educação 15 (1): 45-53. 2010.
    O presente trabalho tem por finalidade abordar, em aspectos psicogenéticos, a importância da construção das noções de tempo e espaço na Educação Infantil. A criança, desde muito cedo, procura se adaptar ao espaço e ao tempo em que está situada. As primeiras estruturas mentais se constroem em função das coordenações do corpo no espaço e das sequências temporais das ações. Sendo então a criança um ser ativo, acreditamos que podem ser desenvolvidas práticas pedagógicas na Educação Infantil que se o…Read more
  •  27
    Robotics and Well-Being (edited book)
    with Maria Isabel Aldinhas Ferreira, Gurvinder Singh Virk, Mohammad Osman Tokhi, and Endre E. Kadar
    Springer Verlag. 2019.
    This book highlights some of the most pressing safety, ethical, legal and societal issues related to the diverse contexts in which robotic technologies apply. Focusing on the essential concept of well-being, it addresses topics that are fundamental not only for research, but also for industry and end-users, discussing the challenges in a wide variety of applications, including domestic robots, autonomous manufacturing, personal care robots and drones.
  •  13
    Tractability of explaining classifier decisions
    with Martin C. Cooper
    Artificial Intelligence 316 (C): 103841. 2023.
  •  13
    A Teoria da Escravidão Natural de Aristóteles a Francisco de Vitória
    Revista Portuguesa de Filosofia 75 (3): 1785-1800. 2019.
    The aim of this essay is to analyze the treatment of the theory of natural slavery in Francisco de Vitoria’s thought through his reception of Aquino’s treatise on justice and the Aristotelian theory of natural slavery as described in book I of Politics. In order to understand how Vitoria distances himself from Aquinas, by considering the ius gentium as a positive right, I analyze Victoria’s comments on the Summa Theologica. Finally, I consider Question 1 of the relectio De Indis, where Victoria …Read more
  •  9
    Minimal sets on propositional formulae. Problems and reductions
    with Mikoláš Janota and Carlos Mencía
    Artificial Intelligence 252 (C): 22-50. 2017.
  •  9
    Propositional proof systems based on maximum satisfiability
    with Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, and Antonio Morgado
    Artificial Intelligence 300 (C): 103552. 2021.
  •  8
    The present article offers a contrastive analysis of articles published online by two media outlets of two different countries dealing with science, technology and interrelated topics. In so doing, the goal is to explore the role played by gender dynamics in the pragmatic strategies which underlie the communication of scientific knowledge to the wider audiences by the mainstream media. The multi-layered interpretative approach centred on corpus-based discourse analysis and visual semiotics adopt…Read more
  •  7
    Solving QBF with counterexample guided refinement
    with Mikoláš Janota, William Klieber, and Edmund Clarke
    Artificial Intelligence 234 (C): 1-25. 2016.
  •  6
    Algorithms for computing minimal equivalent subformulas
    with Anton Belov, Mikoláš Janota, and Inês Lynce
    Artificial Intelligence 216 309-326. 2014.
  •  6
    On the query complexity of selecting minimal sets for monotone predicates
    with Mikoláš Janota
    Artificial Intelligence 233 (C): 73-83. 2016.
  •  5
    A import'ncia das humanidades na construção do conhecimento
    with Álisson Muryel dos Reis and Josemar de Campos Maciel
    Filosofia E Educação 11 (1): 195-217. 2019.
    O presente artigo abordará a construção do conhecimento em Giambattista Vico embasando-se no discurso De Nostri Temporis Studiorum. Com a troca da “imaginação” pela “racionalidade”, colocou-se de lado a engenhosidade humana, anulando assim a verossimilhança que fora negada por não apresentar verdades factuais levando à atrofia do engenho. O intuito aqui é analisar o desenvolvimento imaginativo proposto por Vico, gerando uma nova crítica. Conclui-se sobre uma possível epistemologia das humanidade…Read more
  •  2
    Certified Logic-Based Explainable AI – The Case of Monotonic Classifiers
    with Aurélie Hurault
    In Virgile Prevosto & Cristina Seceleanu (eds.), Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings, Springer Nature Switzerland. pp. 2147483647-2147483647. 2023.
    The continued advances in artificial intelligence (AI), including those in machine learning (ML), raise concerns regarding their deployment in high-risk and safety-critical domains. Motivated by these concerns, there have been calls for the verification of systems of AI, including their explanation. Nevertheless, tools for the verification of systems of AI are complex, and so error-prone. This paper describes one initial effort towards the certification of logic-based explainability algorithms, …Read more
  •  2
    El arte de comunicar en Karol Wojtyla
    Anuario Filosófico 34 (3): 759-767. 2001.
    Cicero and Wojtyla see the art of oratory as an integral part of the growth of mankind. Cicero considers communication as a fountain of noble action. At the same time, Wojtyla considers the word in its spiritual sense, elevating all human beings towards beauty. Both authors teach us that those who communicate with moral dignity and creativity construct a humanized culture.
  •  1
    In this paper, I intend to explore the 16th century Italian work entitled Divisione della filosofia (1895) by the writer Benedetto Varchi, by reflecting on concepts raised and discussed throughout the history of philosophy, such as art and science, while making a thorough analysis of the text and the conceptions exposed by the historian. From a historical-philosophical point of view, I intend to investigate a varchian corpus from the Renaissance period, thus, I examine the statements and inferen…Read more