Results 131 to 140 of about 348,999 (338)
Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing
, 2013 This paper is about understanding the nature of bug fixing by analyzing thousands of bug fix transactions of software repositories. It then places this learned knowledge in the context of automated program repair.
Martinez, Matias, Monperrus, Martin
core +1 more source
Kanger’s Choices in Automated Reasoning [PDF]
, 2001 Automated deduction, or automated theorem proving is a branch of science that deals with automatic search for a proof. The contribution of Kanger to automated deduction is well-recognized. His monograph [1957] introduced a calculus LC, which was one of the first calculi intended for automated proof-search.
Degtyarev, Anatoli, Voronkov, Andrei
openaire +4 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Post‐discharge management and outcomes of acute symptomatic seizures (ASyS) remain underexplored. We analyzed post‐discharge ASM management and outcomes in ASyS patients undergoing continuous EEG (cEEG), including the role of outpatient care through a post‐acute symptomatic seizure (PASS) clinic. Methods We performed a single‐center,
Vineet Punia +10 more
wiley +1 more source
Journal of King Saud University: Computer and Information SciencesDetecting misbehavior in social networks is essential for maintaining trust and reliability in online communities. Traditional methods of identification often rely on individual attributes or structural network properties, which may overlook subtle or ...
Wejdan Alshlahy, Delel Rhouma
doaj
Toward Automated Knowledge Discovery in Case-Based Reasoning
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceAutomated Case Elicitation (ACE) enables case-based reasoning (CBR) systems to automatically acquire knowledge through real-time exploration and interaction with environments.
Sherri Weitl-Harms +2 more
doaj +1 more source
Automated Generation of Massive Reasonable Empirical Theorems by Forward Reasoning Based on Strong Relevant Logics -- A Solution to the Problem of LLM Pre-training Data Exhaustion [PDF]
arXivRecently, it is often said that the data used for the pre-training of large language models (LLMs) have been exhausted. This paper proposes a solution to the problem: Automated generation of massive reasonable empirical theorems by forward reasoning based on strong relevant logics. In fact, this can be regarded as a part of our approach to the problems
arxiv
Probabilistic Inference and Probabilistic Reasoning [PDF]
arXiv, 2013 Uncertainty enters into human reasoning and inference in at least two ways. It is reasonable to suppose that there will be roles for these distinct uses of uncertainty also in automated reasoning.
arxiv
Logic circuit design with the aid of an automated reasoning program [PDF]
, 1988 Reyna Abhyankar, B. Humpert
openalex +1 more source
Automation of Diagrammatic Reasoning [PDF]
, 1997 Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is a subset of problems which humans can prove in a different way by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is more clearly perceived in these than in the corresponding algebraic proofs: they capture an ...
Jamnik, Mateja, Bundy, Alan, Green, Ian
openaire +1 more source