Formal Reasoning About Systems Biology Using Theorem Proving

PLoS ONE - United States
doi 10.1371/journal.pone.0180179
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Public Library of Science (PLoS)

Related search

Tableau-Based Theorem Proving for Representation and Reasoning.

English

A Formal Framework for Reasoning About Opportunistic Propensity in Multi-Agent Systems

Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
2019English

Cryptographically Sound Theorem Proving

English

Reasoning About Finite-State Switched Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Formal Model for Metacognitive Reasoning in Intelligent Systems

International Journal of Cognitive Informatics and Natural Intelligence
Human-Computer InteractionArtificial IntelligenceSoftware
2014English

Proof Systems for Reasoning About Computation Errors

Studia Logica
Philosophy of ScienceLogicHistory
2009English

Proving Properties of Elementary Net Systems With a Special-Purpose Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

The Complexity of Theorem-Proving Procedures

1971English

Proof Simplification and Automated Theorem Proving

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy