Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. There are general, spatial, temporal, spatiotemporal, and fuzzy description logics, and each description logic features a different balance between expressive power and reasoning complexity by supporting different sets of mathematical constructors.
Elsevier is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as The Lancet, Cell, the ScienceDirect collection of electronic journals, Trends, the Current Opinion series, the online citation database Scopus, the SciVal tool for measuring research performance, the ClinicalKey search engine for clinicians, and the ClinicalPath evidence-based cancer care service. Elsevier's products and services include digital tools for data management, instruction, research analytics, and assessment. Elsevier is part of the RELX Group, known until 2015 as Reed Elsevier, a publicly-traded company. According to RELX reports, in 2022 Elsevier published more than 600,000 articles annually in over 2,800 journals; as of 2018 its archives contained over 17 million documents and 40,000 e-books, with over one billion annual downloads.
The expression computational intelligence (CI) usually refers to the ability of a computer to learn a specific task from data or experimental observation. Even though it is commonly considered a synonym of soft computing, there is still no commonly accepted definition of computational intelligence.
Harcourt was an American publishing firm with a long history of publishing fiction and nonfiction for adults and children. The company was last based in San Diego, California, with editorial/sales/marketing/rights offices in New York City and Orlando, Florida, and was known at different stages in its history as Harcourt Brace, & Co. and Harcourt Brace Jovanovich. From 1919 to 1982, it was based in New York City.
Jean-Yves Beziau (French:[bezjo]; born January 15, 1965, in Orléans, France is a Swiss Professor in logic at the University of Brazil, Rio de Janeiro, and Researcher of the Brazilian Research Council. He is permanent member and former president of the Brazilian Academy of Philosophy. Before going to Brazil, he was Professor of the Swiss National Science Foundation at the University of Neuchâtel in Switzerland and researcher at Stanford University working with Patrick Suppes.
Dov M. Gabbay is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.
Topology was a peer-reviewed mathematical journal covering topology and geometry. It was established in 1962 and was published by Elsevier. The last issue of Topology appeared in 2009.
Probabilistic logic involves the use of probability and logic to deal with uncertain situations. Probabilistic logic extends traditional logic truth tables with probabilistic expressions. A difficulty of probabilistic logics is their tendency to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as in case of belief fusion in Dempster–Shafer theory. Source trust and epistemic uncertainty about the probabilities they provide, such as defined in subjective logic, are additional elements to consider. The need to deal with a broad variety of contexts and issues has led to many different proposals.
Ian Robert Horrocks is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.
Virology is a peer-reviewed scientific journal in virology. Established in 1955 by George Hirst, Lindsay Black and Salvador Luria, it is the earliest English-only journal to specialize in the field. The journal covers basic research into viruses affecting animals, plants, bacteria and fungi, including their molecular biology, structure, assembly, pathogenesis, immunity, interactions with the host cell, evolution and ecology. Molecular aspects of control and prevention are also covered, as well as viral vectors and gene therapy, but clinical virology is excluded. As of 2013, the journal is published fortnightly by Elsevier.
Synthese is a monthly peer-reviewed academic journal covering the epistemology, methodology, and philosophy of science, and related issues. The name Synthese finds its origin in the intentions of its founding editors: making explicit the supposed internal coherence between the different, highly specialised scientific disciplines. Jaakko Hintikka was editor-in-chief from 1965 to 2002. The current editors-in-chief are Otávio Bueno, Wiebe van der Hoek, and Kristie Miller.
Edward Keith Brown is a Scottish linguist, professor at the University of Cambridge, and the editor-in-chief of the Encyclopedia of Language and Linguistics.
The International Journal of Forecasting is a quarterly peer-reviewed scientific journal on forecasting. It is published by Elsevier on behalf of the International Institute of Forecasters. Its objective is to "unify the field of forecasting and to bridge the gap between theory and practice, making forecasting useful and relevant for decision and policy makers". The journal was established in 1985. According to the Journal Citation Reports, the journal has a 2022 impact factor of 7.9.
Károly Bezdek is a Hungarian-Canadian mathematician. He is a professor as well as a Canada Research Chair of mathematics and the director of the Centre for Computational and Discrete Geometry at the University of Calgary in Calgary, Alberta, Canada. Also he is a professor of mathematics at the University of Pannonia in Veszprém, Hungary. His main research interests are in geometry in particular, in combinatorial, computational, convex, and discrete geometry. He has authored 3 books and more than 130 research papers. He is a founding Editor-in-Chief of the e-journal Contributions to Discrete Mathematics (CDM).
Philosophy & Rhetoric is a quarterly peer-reviewed academic journal covering rhetorical theory, ethics, continental philosophy, informal logic, argumentation theory, critical social theory, and political theory. It is published by Penn State University Press and was established in 1968. The editor-in-chief is Erik Doxtader. The journal was established in 1968 by Henry Johnstone Jr. and Carroll Arnold, who saw a need for a journal that would, among other things, investigate "rhetoric as a philosophical concept".
The Design Research Society (DRS), founded in the United Kingdom in 1966, is an international society for developing and supporting the interests of the design research community. The primary purpose of the DRS, as embodied in its first statement of rules, is to promote ‘the study of and research into the process of designing in all its many fields'. This established the intention of being an interdisciplinary learned society, taking a scholarly and domain independent view of the process of designing. Membership is open to anyone interested in design research, and members with established experience and a strong background in design research may apply to be elected as a DRS Fellow.
Neil Mercer is Emeritus Professor of Education at the University of Cambridge.
Homeopathy is a peer-reviewed medical journal covering research, reviews, and debates on all aspects of homeopathy, a pseudoscientific form of alternative medicine. It is the official journal of the London-based Faculty of Homeopathy. The journal was established in 1911 as the British Homoeopathic Journal, resulting from a merger between the British Homoeopathic Review and the Journal of the British Homoeopathic Society. It uses its current name since 2001 and the editor-in-chief is Robert Mathie.
Women's Studies International Forum is a bimonthly peer-reviewed academic journal covering feminist research in the area of women's studies and other disciplines. The journal is published by Elsevier and its editor-in-chief is Kalwant Bhopal.
IEEE Transactions on Fuzzy Systems is a bimonthly peer-reviewed scientific journal published by the IEEE Computational Intelligence Society. It covers the theory, design or applications of fuzzy systems ranging from hardware to software, including significant technical achievements, exploratory developments, or performance studies of fielded systems based on fuzzy models. According to the Journal Citation Reports, the journal has a 2021 impact factor of 12.253.
