Results 31 to 40 of about 1,769,180 (284)

Synthesizing Recursive Logic Programs by Inverting General Resolution

IEEE Access
A fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj   +1 more source

Carlos E. Alchourrón. Breve biografía intelectual

Crítica, 2019
This paper is a short intellectual biography of Professor Carlos E. Alchourrón. I analyze his main contributions in three fields: 1) the logic of normative systems, 2) the logic of theory change, and 3) the logic of defeasible conditionals. I review the
Gladys Palau
doaj   +1 more source

Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]

, 2014
The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core  

Acceptability with general orderings

, 2001
We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis ...
A. Bossi, A. Bossi, A. Serebrenik, D. Schreye, G. Aguzzi, G. Janssens, H. Ganzinger, J. D. Ullman, J. Hsiang, K. R. Apt, M. K. Rao, M. Marchiori, N. Dershowitz, N. Dershowitz, N. Dershowitz, S. Decorte, S. Etalle, S. Verbaeten, T. Arts   +18 more
core   +2 more sources

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Exposing Fake Logic [PDF]

, 2018
Exposing Fake Logic by Avi Sion is a collection of essays written after publication of his book A Fortiori Logic, in which he critically responds to derivative work by other authors who claim to know better.
Sion, Avi
core  

A Scoping Review on Artificial Intelligence–Supported Interventions for Nonpharmacologic Management of Chronic Rheumatic Diseases

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, Alexis Castellanos, Yen Chen, John Piette, Amy Bucher, Susan Murphy   +5 more
wiley   +1 more source

Validation of the Pediatric Arthritis Ultrasound Scoring System for the Elbow, Wrist, and Finger Joints in Children with Juvenile Idiopathic Arthritis

Arthritis Care &Research, Accepted Article.
Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez, Pinar Ozge Avar‐Aydin, Kelly Rogers, Daniel J. Lovell, Jennifer Huggins, Alexei Grom, Hermine I. Brunner, Grant S. Schulert, Sheila T. Angeles‐Han, Mekibib Altaye, Amy Cassedy, Arthur B. Meyers, Tracy V. Ting   +12 more
wiley   +1 more source

Informal Logic: An Overview

Informal Logic, 2000
In this overview article, we first explain what we take informal logic to be, discussing misconceptions and distinguishing our conception of it from competing ones; second, we briefly catalogue recent informal logic research, under 14 headings; third, we
J. Anthony Blair, Ralph H. Johnson
doaj   +1 more source

Kant, Bolzano, and the Formality of Logic [PDF]

, 2014
In §12 of his 1837 magnum opus, the Wissenschaftslehre, Bolzano remarks that “In the new logic textbooks one reads almost constantly that ‘in logic one must consider not the material of thought but the mere form of thought, for which reason logic ...
Stang, Nicholas
core