Results 121 to 130 of about 1,558,985 (350)
A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument [PDF]
Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to ...
Benzmueller, Christoph, Fuenmayor, David
core
How much of commonsense and legal reasoning is formalizable? A review of conceptual obstacles [PDF]
, 2012 Fifty years of effort in artificial intelligence (AI) and the formalization of legal reasoning have produced both successes and failures. Considerable success in organizing and displaying evidence and its interrelationships has been accompanied by ...
Franklin, James
core
Arthritis Care &Research, EarlyView.This review summarizes artificial intelligence (AI)‐supported nonpharmacological interventions for adults with chronic rheumatic diseases, detailing their components, purpose, and current evidence base. We searched Embase, PubMed, Cochrane, and Scopus databases for studies describing AI‐supported interventions for adults with chronic rheumatic diseases.
Nirali Shah +5 more
wiley +1 more source
Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 [PDF]
, 2014 Preface For many years the British and the German automated reasoning communities have successfully run independent series of workshops for anybody working in the area of automated reasoning. Although open to the general public they addressed in the past
core
Using Isabelle in Two Courses on Logic and Automated Reasoning
FMTea, 2021 J. Villadsen, Frederik Krogsdal Jacobsen
semanticscholar +1 more source
Hydroxychloroquine Associated With Lower Glomerular Filtration Rate Decline in Lupus Nephritis
Arthritis Care &Research, EarlyView.Objective Hydroxychloroquine (HCQ) protects kidney function in lupus nephritis (LN) by preventing flares, yet some cohort studies show no significant benefit in kidney function with HCQ. Clarifying these conflicting findings by showing early and long‐term benefits of HCQ on kidney function preservation is critical.
Shivani Garg +9 more
wiley +1 more source
A comparison of chain-of-thought reasoning strategies across datasets and models [PDF]
PeerJ Computer ScienceEmergent chain-of-thought (CoT) reasoning capabilities promise to improve the performance and explainability of large language models (LLMs). However, uncertainties remain about how reasoning strategies formulated for previous model generations ...
Konstantin Hebenstreit +3 more
doaj +2 more sources
Arthritis Care &Research, EarlyView.Objective This study aims to develop hip morphology‐based radiographic hip osteoarthritis (RHOA) risk prediction models and investigates the added predictive value of hip morphology measurements and the generalizability to different populations. Methods We combined data from nine prospective cohort studies participating in the Worldwide Collaboration ...
Myrthe A. van den Berg +26 more
wiley +1 more source
Automated reasoning with uncertainties [PDF]
, 1994 In this work we assume that uncertainty is a multifaceted concept and present a system for automated reasoning with multiple representations of uncertainty.
Flávio S. Corrêa da Silva +2 more
openaire +1 more source
Arthritis Care &Research, EarlyView.Objective Foot orthoses are thought to improve pain by potentially modifying internal mechanical forces. To test this, we explored whether foot orthoses can modify patterns of bone marrow lesions (BMLs) in people with midfoot pain. Methods Forty‐two people were recruited with midfoot pain, and magnetic resonance imaging–confirmed midfoot BMLs ...
Jill Halstead +4 more
wiley +1 more source