7,077 research outputs found
Minibiotus continuus Pilato & Lisi 2006
No full textMinibiotus continuus Pilato &Lisi, 2006 Terra typica: Mexico (Central America). Material examined: 15 specimens and one egg: Piedmont of Sierra Las Mitras (25°44′45.98′′N, 100°25′27.68′′W, ca. 700 m asl), Monterrey, Nuevo Leon, Mexico. Lichen (Nephroma sp.) on tree (Quercus virginiana), coll. Antonio Moreno - Talamantes, 8 November 2014. Five specimens and three eggs: 1 km E of La Peñita (25°20′50.79′′N, 100°22′01.21′′W, ca. 2250 m asl), Santiago, Nuevo Leon, Mexico. Moss on soil, coll. Mario Alberto Garcia Aranda, 9 February 2015. Three specimens and five eggs: Cerro La Viga (25°20′23.43′′N, 100°22′06.42′′W, ca. 2645 m asl), 2 km E of La Peñita, Santiago, Nuevo Leon, Mexico. Moss on soil, coll. Mario Alberto Garcia Aranda, 9 February 2015. Comments: Our specimens and eggs correspond well with the original description. Minibiotus continuus has been reported in several localities in Costa Rica and Mexico (Pilato & Lisi 2006; Kaczmarek et al. 2011, 2014; Meyer 2013), and probably has a wider Neotropical distribution. This is a new record for the State of Nuevo Leon.Published as part of Moreno, Antonio, Roszkowska, Milena, García, Mario Alberto, Flores, José Juan & Kaczmarek, Łukasz, 2019, Current knowledge on Mexican tardigrades with a description of Milnesium cassandrae sp. nov. (Eutardigrada: Milnesiidae) and discussion on the taxonomic value of dorsal pseudoplates in the genus Milnesium Doyère, 1840, pp. 501-524 in Zootaxa 4691 (5) on page 515, DOI: 10.11646/zootaxa.4691.5.5, http://zenodo.org/record/352756
Commento ai seguenti articoli del codice civile: 1117, 1117-bis; 1117-ter; 1118, 1119, 1120, 1121, 1122, 1122-bis, 1123, 1124, 1125, 1126, 1128, 1138, 1139. Commento ai seguenti articoli delle disposizioni di attuazione del codice civile: 61, 62, 68, 69, 72.
No full text
[Poesia] Três poemas de Alberto Secama
No full textThree poems by Alberto Secama. About the author: Alberto Secama is an Angolan poet who has poems published on many websites and on facebook:https://www.facebook.com/Xungurra/abouthttp://www.pordentrodaafrica.com/cultura/africa-em-verso-rio-kwanza-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/africa-em-verso-zong-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/coluna-africa-em-verso-o-sol-la-fora-por-alberto-secamaTres poemas de Alberto Secama. Sobre el autor: Alberto Secama es un poeta angoleño que tiene poemas publicados en varios sitios y en el facebook:https://www.facebook.com/Xungurra/abouthttp://www.pordentrodaafrica.com/cultura/africa-em-verso-rio-kwanza-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/africa-em-verso-zong-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/coluna-africa-em-verso-o-sol-la-fora-por-alberto-secamaTrês poemas de Alberto Secama. Sobre o autor: Alberto Secama é um poeta angolano que possui poemas publicados em vários sites e no facebook:https://www.facebook.com/Xungurra/abouthttp://www.pordentrodaafrica.com/cultura/africa-em-verso-rio-kwanza-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/africa-em-verso-zong-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/coluna-africa-em-verso-o-sol-la-fora-por-alberto-secam
An Approach Towards Ethical Chatbots in Customer Service
No full textChatbot is an artificial intelligent software which can simulate a conversation with a user in natural language via auditory or textual methods. Businesses are rapidly moving towards the need for chatbots. However chatbots raise many ethical concerns. To ensure that they behave ethically, their behavior should be guided by the codes of ethics and conduct of their company
Orizzonti mantovani. Spunti e dinamiche paesaggistiche ne L'Illustrissimo di Alberto Cantoni
No full textIn the literary production of Alberto Cantoni, short story writer and novelist between the nineteenth and twentieth centuries, the novel L'Illustrissimo is highly important both because it is the last publication of the author, from Pomponesco, a small town a few kilometers south of Mantua, both because it summarizes in a single text the different nuances and different directions that his writing has taken over the course of his literary career, also due to a writing and processing time that embraces the entire span of years of his career itself. In the foreground, in addition to the numerous and brilliant characters, one of the protagonists is the Mantuan landscape which, not a simple background, becomes a true literary parameter which in different and significant ways affects the purposes and mechanisms of the novel
Model with DLs + Solve with ASP: A case study from Concept Learning
No full textResearch in Machine Learning (ML) has traditionally focussed on designing effective algorithms for solving particular tasks. However, there is an increasing interest in providing the user with a means for specifying what the ML problem in hand actually is rather than letting him struggle to outline how the solution to that problem needs to be computed. This corresponds to a model+solver approach to ML, in which the user specifies the problem in a declarative modeling language and the system automatically transforms such models into a format that can be used by a solver to efficiently generate a solution. In this paper, we propose a model+solver approach to Concept Learning problems which combines the efficacy of Description Logics (DLs) in conceptual modeling with the efficiency of Answer Set Programming (ASP) solvers in dealing with constraint satisfaction problems. In particular, the approach consists of a declarative modeling language based on second-order DLs under Henkin semantics, and a mechanism for transforming second-order DL formulas into a format processable by ASP solvers
Preface to the Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019)
No full textThe 34th edition of the Italian Convention of Computational Logic (CILC 2019), the annual meeting of GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the University of Trieste from June 19th to June 21st, 2019.
CILC was originally meant to be a forum for exchanging ideas and experiences between Italian researchers in the field of computational logic, however, in recent years, it has broadened its topics of interest also to a wide set of related areas spacing from verification of formal systems to knowledge representation.
The technical program of CILC 2019 features 37 presentations of as many high-quality papers; 27 of them are included in these proceedings and the remaining ones appeared or were submitted to other conferences, workshops or journals. Each of the submitted papers was evaluated by three reviewers and, according to their judgments, was either accepted or rejected for the presentation and publication in the proceedings.
The contributions address different topics related to computational logic, including verification and validation, temporal reasoning, description logics, formal methods in AI, knowledge representation, and constraint logic programming.
The program was also enriched by an ambassador talk “DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics” by Stefania Costantini, Francesca Alessandra Lisi, and Raffaele Olivieri and 3 tutorials:
– The SATisfiability problem and its impact
Agostino Dovier, Università degli Studi di Udine
– Multiagent Epistemic Planning
Enrico Pontelli, New Mexico State University
– Model checking: The interval way
Angelo Montanari, Università degli Studi di Udine
The following works were presented at CILC 2019, but are not included in this proceedings:
– Epistemic Answer Set Programming: a new perspective
Ezgi Iraz Su
– Extending ALC with the power-set construct
Laura Giordano and Alberto Policriti
– Accountable Protocols in Abductive Logic Programming
Marco Gavanelli, Marco Alberti, and Evelina Lamma
– Model Completeness, Covers and Superposition (Abridged Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and
Andrey Rivkin
– Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio
Proietti
– An Ontology to Improve the First Aid Service Quality
Lorenzo De Lauretis and Stefania Costantini
– An ASP-based Approach for Optimizing DLV Evaluation
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino,
Nicola Leone, Marco Manna, Simona Perri, and Jessica Zangari
– Large Scale DLV: Preliminary Results
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina
Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fusc`a,
Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, and Jessica Zangari
– A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
Andrea Marin, Carla Piazza, and Sabina Rossi
– Accountability, Responsibility, and Robustness in Agent Organizations
Matteo Baldoni, Cristina Baroglio, and Roberto Micalizio
We would like to thank all the people who have contributed to the success of CILC 2019: the authors, the invited speakers, the program committee, the reviewers, and the participants. Special thanks go to both the President and the former President of GULP, Stefania Costantini and Agostino Dovier, and to the secretary of GULP, Fabio Fioravanti, for their support in the organization of the event
Plenary Session: Luis Alberto Urrea
No full texta) Plenary Session: Luis Alberto Urrea, Mexican American Chicago Writer
Luis Alberto Urrea is a 2005 Pulitzer Prize finalist for non-fiction and member of the Latino Literature Hall of Fame. He is a prolific and acclaimed writer who has used his dual-culture life border experiences to explore the complex and interconnected Mexican-US American reality. The critically acclaimed and best-selling Mexican-born author of 13 books, Urrea has won numerous awards for his poetry, fiction and essays.
Moderator: Dr. Héctor García, Loyola University Chicag
O duplo significado do sentir e do pensar nas obras de Alberto Caeiro e Descartes
No full textDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em LiteraturaA pretensão desta dissertação intitulada O duplo significado do sentir e do pensar nas obras de Alberto Caeiro e Descartes é investigar a relação entre o sentir e o puro pensar, usando como referência a poesia O Guardador de Rebanhos, de Alberto Caeiro, que apresenta de forma evidente o tema; e como este assunto é tratado nas Meditações Metafísicas de René Descartes, também de forma claramente visível. Podemos perceber em ambos os autores, uma diplopia, uma espécie de duplo olhar sobre a relação sentir e puro pensar. No primeiro capítulo vou falar sobre a tese do duplo olhar de Descartes, a respeito da relação sentir e puro pensar na leitura de Merleau-Ponty, salientando a visão de natureza. No segundo capítulo, parto da leitura das três primeiras Meditações Metafísicas para caracterizar a tensão que se pode verificar entre Descartes e Alberto Caeiro quando se referem ao puro pensar. O foco principal de Descartes, nas três primeiras Meditações, é o pensar puro, e neste ponto Alberto Caeiro critica o pensar puro. No terceiro capítulo, analisando as três últimas Meditações, percebe-se que há uma virada no pensamento de Descartes, no qual o autor inverte seu ponto de vista, aproximando-se da idéia de Alberto Caeiro. No quarto capítulo, mostrarei a leitura que outros autores fazem acerca do sentir e do pensar na obra de Alberto Caeiro, mostrando que assim como Descartes, este também ostenta uma diplopia, não do sentir, mas do pensar. The pretension of this work entitled O duplo significado do sentir e do pensar nas obras de Alberto Caeiro e Descartes is to investigate the relationship between the feeling and the pure thinking, using as reference the poetry O Guardador de Rebanhos, by Alberto Caeiro, that presents in an evident way this theme; and as this subject is treated in René Descartes' Metaphysical Meditations, also in a clearly visible way. It is possible to notice in both authors, the diplopy, a sort of double look about the relationship between feeling and pure thinking. The thesis about Descartes'double look regarding the relation of feeling and pure thinking, in Merleau-Ponty reading, pointing out the nature vision, will be treated in the first chapter. In the second chapter, I start from the reading of the first three Metaphysical Meditations to characterize the tension that can be verified between Descartes and Alberto Caeiro when they refer to the pure thinking. Descartes' main focus in the first three Meditations is pure thinking and, in this point, Alberto Caeiro criticizes pure thinking. In the third chapter, analyzing the last three Meditations, it is possible to notice that there is an alteration in Descartes' thought, in which the author inverts his point of view, approaching of Alberto Caeiro's idea. In the fourth chapter, I will show the reading that other authors do concerning feeling and thinking in Alberto Caeiro's work, showing that as well as Descartes, this also shows a diplopy, not of feeling, but of thinking
- …
