Amanote Research
Register
Sign In
Tableau-Based Theorem Proving for Representation and Reasoning.
doi 10.22215/etd/1987-01341
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Edward Suen
Publisher
Carleton University
Related search
Formal Reasoning About Systems Biology Using Theorem Proving
PLoS ONE
Multidisciplinary
A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
Resolution-Based Theorem Proving for Many-Valued Logics
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Cryptographically Sound Theorem Proving
Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic-Based Representation, Reasoning and Machine Learning for Event Recognition
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Reasoning, Proof and Proving in Mathematics Education
