Results 91 to 100 of about 348,999 (338)
Automated ZFC Theorem Proving with E [PDF]
arXiv, 2019 I introduce an approach for automated reasoning in first order set theories that are not finitely axiomatizable, such as $ZFC$, and describe its implementation alongside the automated theorem proving software E. I then compare the results of proof search in the class based set theory $NBG$ with those of $ZFC$.
arxiv
CAISL: Simplification Logic for Conditional Attribute Implications [PDF]
, 2016 In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a more suitable way for automated ...
Cordero-Ortega, Pablo +4 more
core
, 2014 The goal of this project is to (i) accumulate annotated informal/formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such methods
Geuvers, Herman +3 more
core +1 more source
Web Service Discovery in the FUSION Semantic Registry [PDF]
, 2008 The UDDI specification was developed as an attempt to address the key challenge of effective Web service discovery and has become a widely adopted standard. However, the text-based indexing and search mechanism that UDDI registries offer does not suffice
Kourtesis, Dimitrios +1 more
core +1 more source
Molecular Oncology, EarlyView.Chronic TGF‐β exposure drives epithelial HCC cells from a senescent state to a TGF‐β resistant mesenchymal phenotype. This transition is characterized by the loss of Smad3‐mediated signaling, escape from senescence, enhanced invasiveness and metastatic potential, and upregulation of key resistance modulators such as MARK1 and GRM8, ultimately promoting
Minenur Kalyoncu +11 more
wiley +1 more source
Automated Reasoning in Non-classical Logics in the TPTP World [PDF]
arXiv, 2022 Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastructure for automated theorem proving, the TPTP World, currently supports only classical logics. Similar standards for non-classical logic reasoning do not exist (yet).
arxiv
Molecular Oncology, EarlyView.Alectinib resistance in ALK+ NSCLC depends on treatment sequence and EML4‐ALK variants. Variant 1 exhibited off‐target resistance after first‐line treatment, while variant 3 and later lines favored on‐target mutations. Early resistance involved off‐target alterations, like MET and NF2, while on‐target mutations emerged with prolonged therapy.
Jie Hu +11 more
wiley +1 more source
Preliminary Notes on Termination and Non-Termination Reasoning [PDF]
arXiv, 2013 In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.
arxiv
Automated reasoning support for Standpoint-OWL 2 [PDF]
arXiv, 2023 We present a tool for modelling and reasoning with knowledge from various diverse (and possibly conflicting) viewpoints. The theoretical underpinnings are provided by enhancing base logics by standpoints according to a recently introduced formalism that we also recall.
arxiv
, 2015 In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated planning.
Wang, Yanjing
core +1 more source