Search for Topics All Reviews
	Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Knowledge Representation Formalisms And Methods (I.2.4)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 286 Reviews about "Knowledge Representation Formalisms And Methods (I.2.4)": Date Reviewed   Readings in formal epistemology: sourcebook Boensvang H., Rendsvig R., Arl-Costa H., Hendricks V., van Benthem J., Arló-Costa H., Springer International Publishing, New York, NY, 2018. 937 pp.  Type: Book (978-3-319793-03-0) The essence of formal epistemology is in developing or formulating models of knowledge using formal tools, including probability, logic, decision theory, and computations. Thus, formal epistemology explains probabilistic models of know... Oct 4 2021   Multidimensional mining of massive text data Zhang C., Shu K., Morgan&Claypool Publishers, 2019. 198 pp.  Type: Book (978-1-681735-19-1) This edited book on mining massive text data stands out by putting the concept of a “cube” center stage: a multi-dimensional space in which massive text data analysis should take place. As such, it offers discussion... Jul 13 2021   Data visualization and knowledge engineering: spotting data points with artificial intelligence Hemanth J., Bhatia M., Geman O., Springer International Publishing, New York, NY, 2020. 328 pp.  Type: Book (978-3-030257-96-5) Data is the new gold in the 21st century. Artificial intelligence (AI), data visualization, and knowledge engineering are important fields that provide concepts, techniques, and methods that help draw insights from data, especially whe... Apr 28 2021   Scalable distributed semantic network for knowledge management in cyber physical system Song S., Lin Y., Guo B., Di Q., Lv R. Journal of Parallel and Distributed Computing 118(P1): 22-33, 2018.  Type: Article Knowledge extraction in cyber-physical systems (CPS) is a challenging task. Traditional methods are not efficient for this complicated task; an approach that exploits parallel and distributed computing methods while considering scalabi... Dec 3 2020   Machine understanding: machine perception and machine perception MU Les Z., Les M., Springer International Publishing, New York, NY, 2020. 215 pp.  Type: Book (978-3-030240-69-1) This is a difficult book to define/describe. Some parts are very interesting, presenting good research questions and discussions; other parts lack detail and depth--readers are sometimes just sent to the authors’ pre... Oct 12 2020   Modularisation of sequent calculi for normal and non-normal modalities Lellmann B., Pimentel E. ACM Transactions on Computational Logic 20(2): 1-46, 2019.  Type: Article Mathematician and logician Gerhard Gentzen introduced sequent calculus, a logical framework, in the first half of the 20th century. It can be used to establish systems for propositional, first-order, and modal logics. For the latter, i... Oct 10 2019   Measuring and analysing the use of ontologies: a semantic framework for measuring ontology usage Ashraf J., Hussain O., Hussain F., Chang E., Springer International Publishing, New York, NY, 2018. 288 pp.  Type: Book (978-3-319756-79-0) Before reviewing this volume, it is necessary to recall some key definitions for most readers. Defined as formal specifications of conceptualizations, ontologies are rooted in the history and architecture of web-based services. This ca... Feb 7 2019   Large-scale ontology matching: state-of-the-art analysis Ochieng P., Kyanda S. ACM Computing Surveys 51(4): 1-35, 2018.  Type: Article The ontology matching or alignment task identifies inconsistencies among concepts, relationships, and instances in two different ontologies and then resolves correspondence relationships. The authors present a survey of ontology matchi... Jan 25 2019   Knowledge management in theory and practice (3rd ed.) Dalkir K., The MIT Press, Cambridge, MA, 2017. 552 pp.  Type: Book (978-0-262036-87-0) When building software, whether we realize it or not, we embed various kinds of knowledge into it. Software engineers doing requirements gathering and domain analysis have realized this, as have programming language researchers when th... Jan 18 2019    Formalization of the resolution calculus for first-order logic Schlichtkrull A. Journal of Automated Reasoning 61(1-4): 455-484, 2018.  Type: Article Are you interested in proof assistants in which human experts guide automatic theorem provers to verify subgoals? The paper focuses on research dedicated to a theoretical aim: applying a special proof assistant to produce human-readabl... Oct 26 2018       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy