Results 11 to 20 of about 1,501,850 (327)
A Method to Identify and Analyze Biological Programs through Automated Reasoning. [PDF]
NPJ Syst Biol Appl, 2016 Predictive biology is elusive because rigorous, data-constrained, mechanistic models of complex biological systems are difficult to derive and validate.
Yordanov B +5 more
europepmc +5 more sources
The Imandra Automated Reasoning System (System Description) [PDF]
Automated Reasoning10th International Joint Conference, 2020 We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-Moore family like ACL2, and interactive proof assistants for typed higher ...
Passmore G +8 more
europepmc +3 more sources
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Christoph Benzmüller +2 more
doaj +6 more sources
PyZX: Large Scale Automated Diagrammatic Reasoning [PDF]
QPL, 2019 The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits.
A. Kissinger, J. Wetering
semanticscholar +3 more sources
Benchmarks for Automated Commonsense Reasoning: A Survey [PDF]
ACM Computing Surveys, 2023 More than one hundred benchmarks have been developed to test the commonsense knowledge and commonsense reasoning abilities of artificial intelligence (AI) systems.
E. Davis
semanticscholar +3 more sources
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning [PDF]
IEEE Transactions on Software Engineering, 2023 Automated program repair (APR) faces the challenge of test overfitting, where generated patches pass validation tests but fail to generalize. Existing methods for patch assessment involve generating new tests or manual inspection, which can be time ...
Thanh Le-Cong +6 more
semanticscholar +3 more sources
Reading and Reasoning over Chart Images for Evidence-based Automated Fact-Checking [PDF]
Findings, 2023 Evidence data for automated fact-checking (AFC) can be in multiple modalities such as text, tables, images, audio, or video. While there is increasing interest in using images for AFC, previous works mostly focus on detecting manipulated or fake images ...
Mubashara Akhtar +2 more
semanticscholar +3 more sources
Automated Reasoning over Deontic Action Logics with Finite Vocabularies [PDF]
, 2014 In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel ...
Pablo F. Castro, T. S. E. Maibaum
openalex +4 more sources
Combined reasoning by automated cooperation [PDF]
Journal of Applied Logic, 2007 AbstractDifferent reasoning systems have different strengths and weaknesses, and often it is useful to combine these systems to gain as much as possible from their strengths and retain as little as possible from their weaknesses. Of particular interest is the integration of first-order and higher-order techniques.
Christoph Benzmüller +3 more
openalex +3 more sources
Goals and Benchmarks for Automated Map Reasoning
Journal of Symbolic Computation, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andrea Formisano +2 more
openalex +7 more sources