Search w/in this Title for Titles All Reviews
	Annals of Mathematics and Artificial Intelligence Kluwer Academic Publishers         Options: Date Reviewed Title Author Publisher Published Date Descending Order Ascending Order     1-10 of 16 reviews Date Reviewed     Sentence entailment in compositional distributional semantics Sadrzadeh M., Kartsaklis D., Balkır E. Annals of Mathematics and Artificial Intelligence 82(4): 189-218, 2018.  Type: Article Systems for natural language understanding are now quite good and becoming commonplace. Unfortunately, some of the most powerful are also quite opaque: there is no satisfactory theory for why they work. However, ongoing work on semanti... Nov 2 2018   Tableau reasoning for description logics and its extension to probabilities Zese R., Bellodi E., Riguzzi F., Cota G., Lamma E. Annals of Mathematics and Artificial Intelligence 82(1-3): 101-130, 2018.  Type: Article Zese et al. present Prolog implementations of some reasoning algorithms for description logics (DL). They describe two principal algorithms, TRILL and TRILLp; each implements the tableau algorithm. TRILL i... Jun 28 2018   Current application of conformal prediction in drug discovery Ahlberg E., Hammar O., Bendtsen C., Carlsson L. Annals of Mathematics and Artificial Intelligence 81(1-2): 145-154, 2017.  Type: Article Conformal prediction (CP) is a general method widely applied in machine learning. In general, it uses previous experience/data to predict unknown data to a prescribed confidence level. In this paper, the authors describe how the CP met... Dec 15 2017   Theory blending: extended algorithmic aspects and examples Martinez M., Abdel-Fattah A., Krumnack U., Gómez-Ramírez D., Smaill A., Besold T., Pease A., Schmidt M., Guhe M., Kühnberger K. Annals of Mathematics and Artificial Intelligence 80(1): 65-89, 2017.  Type: Article Conceptual blending addresses framing new concepts based on existing ones. Blending theory can be applied to a variety of areas, but the most popular in literature seems to be education in the sense of blended learning techniques. In t... Aug 1 2017   How many crowdsourced workers should a requester hire? Carvalho A., Dimitrov S., Larson K. Annals of Mathematics and Artificial Intelligence 78(1): 45-72, 2016.  Type: Article How many crowdsourced workers do you optimally need to ensure an acceptable quality in the (averaged) results of outsourced tasks? The surprising answer is ten to 11, as this paper proves in a lucid and instructive way, for several tas... Jun 22 2017    Assessing the epistemological relevance of Dung-style argumentation theories Betz G. Annals of Mathematics and Artificial Intelligence 78(3-4): 303-321, 2016.  Type: Article Phan Minh Dung described a model for argumentation in Artificial Intelligence in 1995 [1]. The model presents an argument framework as a collection of arguments together with an attack-relation defined on the set. A single argum... May 11 2017   Belief revision in structured probabilistic argumentation Shakarian P., Simari G., Moores G., Paulo D., Parsons S., Falappa M., Aleali A. Annals of Mathematics and Artificial Intelligence 78(3-4): 259-301, 2016.  Type: Article Traditional logic assumes, sometimes implicitly, that we are absolutely sure about each statement S in the knowledge base (KB); the question is what we can deduce from this knowledge. In practice, we often have some ... May 11 2017   Knowledge-based multi-criteria optimization to support indoor positioning Mileo A., Schaub T., Merico D., Bisiani R. Annals of Mathematics and Artificial Intelligence 62(3-4): 345-370, 2011.  Type: Article Support for the indoor positioning of personal devices has been attracting a lot of interest in the sensor networks community and from robotics researchers. The authors developed a knowledge base to better account for different sensors... Jun 29 2012   Abductive logic programming agents with destructive databases Kowalski R., Sadri F. Annals of Mathematics and Artificial Intelligence 62(1-2): 129-158, 2011.  Type: Article Abductive logic programming extends traditional rule-based logic programming with integrity constraints over so-called abducible predicates. Abduction, the introduction by an agent of new hypotheses to help explain a given fact, occurs... Jun 8 2012   The algorithmization of counterfactuals Pearl J. Annals of Mathematics and Artificial Intelligence 61(1): 29-39, 2011.  Type: Article This paper serves as a brief introduction to ideas on reasoning with counterfactuals, which are covered in greater length in the author’s book (particularly chapter 7) [1]. Pearl maintains that any theory of reasoning should ... Apr 4 2012       Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy