Results 101 to 110 of about 348,999 (338)
Experiments with Automated Reasoning in the Class
, 2022 The European Erasmus+ project ARC-Automated Reasoning in the Class aims at improving the academic education in disciplines related to Computational Logic by using Automated Reasoning tools. We present the technical aspects of the tools as well as our education experiments, which took place mostly in virtual lectures due to the COVID pandemics.
Isabela Drămnesc +4 more
openaire +3 more sources
Automated reasoning for attributed graph properties [PDF]
International Journal on Software Tools for Technology Transfer, 2018 Graphs are ubiquitous in computer science. Moreover, in various application fields, graphs are equipped with attributes to express additional information such as names of entities or weights of relationships. Due to the pervasiveness of attributed graphs, it is highly important to have the means to express properties on attributed graphs to strengthen ...
Schneider, Sven +2 more
openaire +5 more sources
FEBS Open Bio, EarlyView.This review highlights how foundation models enhance predictive healthcare by integrating advanced digital twin modeling with multiomics and biomedical data. This approach supports disease management, risk assessment, and personalized medicine, with the goal of optimizing health outcomes through adaptive, interpretable digital simulations, accessible ...
Sakhaa Alsaedi +2 more
wiley +1 more source
Proofs to two inequality conjectures for a point on the plane of a triangle
Journal of Inequalities and Applications, 2016 We prove two conjectures for a point on the plane of a triangle presented in (Liu in J. Math. Inequal. 8(3):597-611, 2014, doi: 10.1007/s11590-013-0708-4 ) by using the successive difference substitution algorithm NEWTSDS.
Fangjian Huang
doaj +1 more source
Generic Automatic Proof Tools [PDF]
published in Robert Veroff (editor), Automated Reasoning and its
Applications: Essays in Honor of Larry Wos (MIT Press, 1997), 23-47, 2001 This book chapter establishes connections between the interactive proof tool Isabelle and classical tableau and resolution technology. Isabelle's classical reasoner is described and demonstrated by an extended case study: the Church-Rosser theorem for combinators. Compared with other interactive theorem provers, Isabelle's classical reasoner achieves a
arxiv
BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information [PDF]
arXiv, 2023 Automated reasoning with unstructured natural text is a key requirement for many potential applications of NLP and for developing robust AI systems. Recently, Language Models (LMs) have demonstrated complex reasoning capacities even without any finetuning.
arxiv
FEBS Open Bio, EarlyView.20 Hz mechanical vibration induced A431 cancer cells' apoptosis without such effect on other healthy cell lines of L929 and C2C12. Lowered glucose consumption is observed specifically in A431. The expressions of ROS, HMGB1, and HSP1 levels initially increase and subsequently decrease in the cancer cell line, as opposed to L929 and C2C12, which ...
Wresti L. Anggayasti +5 more
wiley +1 more source
Automated Reasoning in Normative Detachment Structures with Ideal Conditions [PDF]
arXiv, 2018 Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning. In this article we look for a suitable way in between: the automation of a simple logic of normative ideality and sub-ideality that is not affected by many deontic paradoxes and ...
arxiv
A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
AIIn ontology engineering, reusing (or extending) ontologies poses a significant challenge, requiring revising their ontological commitments and ensuring accurate representation and coherent reasoning.
Gonzalo A. Aranda-Corral +3 more
doaj +1 more source
Towards United Reasoning for Automatic Induction in Isabelle/HOL [PDF]
arXiv, 2020 Inductive theorem proving is an important long-standing challenge in computer science. In this extended abstract, we first summarize the recent developments of proof by induction for Isabelle/HOL. Then, we propose united reasoning, a novel approach to further automating inductive theorem proving.
arxiv