Results 71 to 80 of about 47,988 (269)
Real-time Planning as Decision-making Under Uncertainty [PDF]
, 2018 In real-time planning, an agent must select the next action to take within a fixed time bound. Many popular real-time heuristic search methods approach this by expanding nodes using time-limited A* and selecting the action leading toward the frontier ...
Mitchell, Andrew James
core +1 more source
Towards Meta-Reasoning in the Concurrent Logical Framework CLF [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The concurrent logical framework CLF is an extension of the logical framework LF designed to specify concurrent and distributed languages. While it can be used to define a variety of formalisms, reasoning about such languages within CLF has proved elusive.
Iliano Cervesato, Jorge Luis Sacchini
openaire +3 more sources
Sex Differences in Medication Discontinuation in Axial Spondyloarthritis
Arthritis Care &Research, EarlyView.Objective We examined sex differences in medication discontinuation among patients with axial spondyloarthritis (axSpA) initiating tumor necrosis factor inhibitors (TNFi), interleukin‐17 inhibitors (IL‐17i), or JAK inhibitors (JAKi). Methods Using data from the Rheumatology Informatics System for Effectiveness (RISE) Registry (2003–2025), we assessed ...
Rachael Stovall +9 more
wiley +1 more source
Meta Reasoning for Large Language Models
We introduce Meta-Reasoning Prompting (MRP), a novel and efficient system prompting method for large language models (LLMs) inspired by human meta-reasoning. Traditional in-context learning-based reasoning techniques, such as Tree-of-Thoughts, show promise but lack consistent state-of-the-art performance across diverse tasks due to their specialized ...
Gao, Peizhong +6 more
openaire +2 more sources
Arthritis Care &Research, EarlyView.Objective Sjögren's disease is an autoimmune disorder that can impact multiple organ systems, including the peripheral nervous system (PNS). PNS manifestations, which can exist concurrently, include mononeuropathies, polyneuropathies, and autonomic nervous system neuropathies.
Anahita Deboo +88 more
wiley +1 more source
An Adversarial Interpretation of Information-Theoretic Bounded Rationality
, 2014 Recently, there has been a growing interest in modeling planning with information constraints. Accordingly, an agent maximizes a regularized expected utility known as the free energy, where the regularizer is given by the information divergence from a ...
Lee, Daniel D., Ortega, Pedro A.
core +1 more source
Retractions in Rheumatology: Trends, Causes, and Implications for Research Integrity
Arthritis Care &Research, EarlyView.Objective We aimed to describe the trends and main reasons for study retraction in rheumatology literature. Methods We reviewed the Retraction Watch database to identify retracted articles in rheumatology. We recorded the main study characteristics, authors’ countries, reasons for retraction, time from publication to retraction, and trends over time ...
Anna Maria Vettori, Michele Iudici
wiley +1 more source
Modal Linear Logic in Higher Order Logic, an experiment in Coq
, 2003 The sequent calculus of classical modal linear logic KDT 4lin is coded in the higher order logic using the proof assistant COQ. The encoding has been done using two-level meta reasoning in Coq.
Sadrzadeh, Mehrnoosh
core +1 more source
Utility-Based Evaluation of Adaptive Systems [PDF]
, 2003 The variety of user-adaptive hypermedia systems available calls for methods of comparison. Layered evaluation techniques appear to be useful for this purpose. In this paper we present a utility-based evaluation approach that is based on these techniques.
Herder, E.
core +3 more sources
Belief versus probability: Individual differences in meta-reasoning [PDF]
, 2020 Modern models of dual-processing propose that parallel Type 1 processes cue responses during reasoning which may or may not be in conflict. If conflict is detected it may be resolved through acceptance of the dominant Type 1 response (rationalization), by abandoning the dominant response (decoupling) or by formulating a third alternative.
Dujmović, Marin, Valerjev, Pavle
openaire +2 more sources