This issue of the Society for the Advancement of American Philosophy's 2020 Proceedings includes papers given at the annual meeting in 2020 at the Hacienda Santa Clara in San Miguel de Allende, Guanajuato, Mexico. This was the first time that SAAP had ever held its annual meeting in Mexico, and it represents an important milestone for the Society. As immediate past president Gregory Pappas explains in his Address, "thanks to the efforts of many scholars and presidents, SAAP has come (...) to recognize the important philosophical contributions of female, African American, Indigenous, and Latinx philosophers … [and, also] a certain way of doing inter-American philosophy … contrapunteo." This contrapunteo... (shrink)

This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were (...) revised and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

Contributed papers chiefly with reference to India; presented at the conference held on Dec. 3-5, 2009, at KLS Institute of Management Education and Research, Belgum, India.

Proceeding of the Third International Conference of the French-Speaking Society for Theoretical Biology Content Type Journal Article Category Editorial Pages 1-2 DOI 10.1007/s10441-012-9156-2 Authors Slimane Ben Miled, ENIT-LAMSIN, Tunis el Manar University, 13, place Pasteur, Belvédère, B.P. 74, 1002 Tunis, Tunisia Journal Acta Biotheoretica Online ISSN 1572-8358 Print ISSN 0001-5342.

The 13 papers in this proceedings are from the 2004 Texas Linguistics Society Conference, held March 5-7, 2004 at the University of Texas at Austin. The theme of the conference was ¿Issues at the semantics-pragmatics interface.¿.

This volume contains the proceedings of the Mediterranean Conference on Neutrosophic Theory (MeCoNeT 2024), held at the Accademia Peloritana dei Pericolanti of the University of Messina on September 24-25, 2024. The event was organized by the MIFT Department (Mathematics, Computer Science, Physics, and Earth Sciences) of the University of Messina, marking the first international congress on neutrosophic theories outside the Americas. This milestone has firmly established the Mediterranean region as a key hub for research in the rapidly growing (...) field of neutrosophic theory. The MeCoNeT 2024 conference drew over 100 participants from more than 15 countries, with more than 50 scientific contributions selected through a rigorous peer review process. The hybrid format of the event—featuring in-person sessions at the historical Accademia Peloritana dei Pericolanti and online parallel sessions—allowed for broad international participation. The conference thus offered an ideal platform for sharing interdisciplinary research and addressing contemporary challenges in mathematics and beyond. (shrink)

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or arising from the 14th and (...) 15th ALCs. (shrink)

Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief revision, and metareasoning. Annotation copyright Book News, Inc. Portland, Or.

The 10th International Conference on Biomedical Ontology (ICBO 2019), was held at the Jacobs School of Medicine and Biomedical Sciences of the University at Buffalo, in Buffalo, NY, USA. It was the 10-year anniversary of the ICBO series, and the return of the conference to Buffalo after the first two ICBO conferences were held in Buffalo in 2009 and 2011. ICBO 2019 was well attended, with 115 registered attendees and additional walk-ins from the local academic community. The program (...) included excellent keynote talks by Barry Smith, “International Standard Ontology,” and Bjoern Peters, “Putting principles into practice: OBO ontologies and applications in immunology,” as well as 23 oral presentations, 26 posters, and one software presentation. There were 53 papers and abstracts submitted for peer-review to ICBO 2019. Each submission was reviewed by three members chosen from the Program Committee. Of these submissions, 43 were accepted for this volume: 19 full papers, 23 poster abstracts, and 1 software demonstration extended abstract. We thank our program committee for their thoughtful reviews. There were also three workshops and four tutorials (listed below) held in conjunction with the main ICBO 2019 meeting. (shrink)

The epistemological prestige of science challenges theologians and philosophers to give an account of their forms of reasoning. The universal character of scientific discourse contrasts with the multilayered language of meaning used in both theology and philosophy. However, does that mean that the language of those disciplines goes beyond the boundaries of reason? Can theologians and philosophers justify their reliance upon rational discourse? Indeed, the epistemological status and capacity of these disciplines to enter into dialogue with the language of science (...) depends on the rationality of their discourse. To deal with these questions, one must examine the elaboration of concepts in theology, philosophy and science, and confront their respective rationalities.0In this book, eighteen theologians, philosophers and scientists from Belgium, France, and the USA bring their contributions to a common reflection on the genesis of concepts and the confrontation of rationalities between theology, philosophy and science. (shrink)

This is a compilation of papers presented at the Seventeenth Annual Meeting of the West Coast Conference on Formal Linguistics, held February 20-22, 1998 in Vancouver, Canada, hosted by the University of British Columbia Department of Linguistics. The conference drew a large number of participants, from around the world. The fifty papers in this volume address theoretical issues in Syntax, Phonology, the Syntax-Semantics and Syntax-Phonology interfaces, and Language Acquisition, and provide an exciting view of current theory in these (...) areas. (shrink)

The Conference on Artificial General Intelligence is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. Its second installation, AGI-09, in Arlington, Virginia, March 6-9, 2009, attracted 67 paper submissions, which is a substantial increase from the previous year. Of these submissions, 33 (i.e., 49%) were accepted as full papers for presentation at the conference. Additional 13 papers were included as position (...) papers. The program also included a keynote address by Juergen Schmidhuber on 'The New AI', a post-conference workshop on 'The Future of AI', and a number of pre-conference tutorials on various topics related to AGI. (shrink)

Proceedings from the ninth International Conference on Artificial Life; papers by scientists of many disciplines focusing on the principles of organization and applications of complex, life-like systems. Artificial Life is an interdisciplinary effort to investigate the fundamental properties of living systems through the simulation and synthesis of life-like processes. The young field brings a powerful set of tools to the study of how high-level behavior can arise in systems governed by simple rules of interaction. Some of the fundamental (...) questions include: What are the principles of evolution, learning, and growth that can be understood well enough to simulate as an information process? Can robots be built faster and more cheaply by mimicking biology than by the product design process used for automobiles and airplanes? How can we unify theories from dynamical systems, game theory, evolution, computing, geophysics, and cognition? The field has contributed fundamentally to our understanding of life itself through computer models, and has led to novel solutions to complex real-world problems across high technology and human society. This elite biennial meeting has grown from a small workshop in Santa Fe to a major international conference. This ninth volume of the proceedings of the international A-life conference reflects the growing quality and impact of this interdisciplinary scientific community. (shrink)

The proceedings of the Seventh Theoretical Roman Archaeology Conference at the University of Nottinghamin April 1997. Contents: Material culture abd the question of social continuity in Roman Britain ( M. Grahame ); Motivation and ideologies of Romanization ( R. Haussler ); The Romanization of Italy: global accluaturation or cultural bricolage? ( N. Terrenato ); Social change and architectural diversity in Roman period Britain ( S. Clarke ); Reflections in the archaeological record of social developements of Lepcis Magna, Tripolitania (...) ( F. Condron ); Theoretical influences on two reports of Romano-British land division ( J. W. M. Peterson ); Phenoemological perspectives on roads in the landscape ( P. Rush ); The ancient monument in Romano-British ritual practices ( C. Forcey ); The sequence of ritual in cremation burials of the Roman period ( J. Pearce ); Burial and gender in alte and sub-Roman Britain ( D. Petts ); Brooches and identity in 1st century AD Britain ( S. Jundi and J. D. Hill ); A persional view of archaeology and equal opportunities' ( E. Scott ); Clavus annalis, defixiones and minski ( D. Dungworth ); Pottery and paradigms in the early western empire ( J. W. J. Hawthorne ). (shrink)

A special issue of the International Journal in Information Science and Engineering “Neutrosophic Sets and Systems” (vol. 69/2024) is dedicated to the Neutrosophic approaches in research, on the occasion of the international and multidisciplinary conference held at the Universidad César Vallejo in Lima, Peru, on July 8 and 9. This event marks a significant milestone, as it is the first time that the Andean region and Latin America host scholars and researchers dedicated to studying various theoretical and applicative issues (...) in the expansive and diverse field of Neutrosophic approaches. Since its conception, Neutrosophic theory has proven to be an interdisciplinary and innovative field, notably growing with the introduction of several generalizations of Neutrosophic Sets, such as Plithogenic Sets, Hypersoft Sets, IndetermSoft Sets, SuperHyperSoft Sets, and MultiAlism. These advanced conceptualizations have further expanded the versatility and application range of Neutrosophic theory, allowing its adoption in an ever-increasing spectrum of disciplines. The conference, with its international and multidisciplinary character, has brought together experts and scholars from various fields, providing a unique platform for the discussion and exchange of ideas on the multiple applications of Neutrosophic approaches. This special issue also addresses how scientific production in Neutrosophy focuses on social issues specific to Latin American philosophy. In the regional context of Latin America, it is possible to state that Neutrosophic tools and knowledge are used for the identification, analysis, and resolution of social problems, offering unique approaches or distinctive contributions to the field of Neutrosophy, influenced by its cultural and philosophical context. Neutrosophic science in Latin America shows a clear pattern of how scientific production addresses social problems, standing out for its innovative approaches that reflect the cultural and philosophical particularities of the region. This approach has allowed Neutrosophy not only to advance in theoretical terms but also to provide practical and contextually relevant solutions to social challenges. This special issue compiles works presented at the conference, reflecting the richness and diversity of current research in this field. We hope that these articles not only contribute to the advancement of knowledge in Neutrosophic theory but also inspire new research and applications in multiple disciplines. (shrink)

A special issue of the International Journal in Information Science and Engineering “Neutrosophic Sets and Systems” (vol. 71/2024) is dedicated to the Conference on NeutroGeometry, NeutroAlgebra, and Their Applications, organized by the Latin American Association of Neutrosophic Sciences. This event, which took place on August 12-14, 2024, in Havana, Cuba, was made possible by the valuable collaboration of the University of Havana, the University of Physical Culture and Sports Sciences "Manuel Fajardo," the José Antonio Echeverría University of Technology, University (...) of Informatics Sciences and the Cuban Academy of Sciences among other institutions. In 2019 Smarandache generalized the classical Algebraic Structures to NeutroAlgebraic Structures (or NeutroAlgebras) {whose operations and axioms are partially true, partially indeterminate, and partially false} as extensions of Partial Algebra, and to AntiAlgebraic Structures (or AntiAlgebras) {whose operations and axioms are totally false} and on 2020 he continued to develop them. The NeutroAlgebras & AntiAlgebras are a new field of research, which is inspired from our real world. In classical algebraic structures, all operations are 100% well-defined, and all axioms are 100% true, but in real life, in many cases these restrictions are too harsh, since in our world we have things that only partially verify some operations or some laws. Similarly, a classical Geometry structure has all axioms totally (100%) true. A NeutroGeometry structure has some axioms that are only partially true, and no axiom is totally (100%) false. Whereas an AntiGeometry structure has at least one axiom that is totally (100%) false. And in general, in any field of knowledge one has: Structure, NeutroStructure, and AntiStructure which were inspired from our real world where the laws (axioms) do not equally apply to all people and in the same degree. This special issue aims to highlight the most recent advances and applications in the fields of NeutroGeometry and NeutroAlgebra, two areas that are at the forefront of contemporary mathematical and scientific thought. During the conference, the mathematical foundations and practical applications of these disciplines were explored, as well as their relevance in the MultiAlism system and other interdisciplinary areas. The content of this special issue has been carefully selected to reflect the diversity and depth of the topics discussed at the conference. This event and the subsequent publication of these works underline the growing importance of neutrosophic theories in the current scientific landscape. We are confident that the ideas and discoveries shared in these pages will be of great value to researchers, academics, and professionals interested in these innovative areas of knowledge. (shrink)