Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Adnan Rashid
Formal Reasoning About Systems Biology Using Theorem Proving
PLoS ONE
Multidisciplinary
Related publications
Tableau-Based Theorem Proving for Representation and Reasoning.
A Formal Framework for Reasoning About Opportunistic Propensity in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
Cryptographically Sound Theorem Proving
Reasoning About Finite-State Switched Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model for Metacognitive Reasoning in Intelligent Systems
International Journal of Cognitive Informatics and Natural Intelligence
Human-Computer Interaction
Artificial Intelligence
Software
Proof Systems for Reasoning About Computation Errors
Studia Logica
Philosophy of Science
Logic
History
Proving Properties of Elementary Net Systems With a Special-Purpose Theorem Prover
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Complexity of Theorem-Proving Procedures
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
