Amanote Research
Register
Sign In
Automated Theorem Proving by Translation to Description Logic
EasyChair Preprints
doi 10.29007/t2kd
Full Text
Open PDF
Abstract
Available in
full text
Date
May 10, 2018
Authors
Negin Arhami
Geoff Sutcliffe
Publisher
EasyChair
Related search
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
DNA Implementation of Theorem Proving With Resolution Refutation in Propositional Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Theorem Proving for Prenex Gödel Logic With Delta: Checking Validity and Unsatisfiability
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Characterization Theorem for a Modal Description Logic
Cryptographically Sound Theorem Proving
A Faithful Translation From Entity-Relationship Schemas to the Description Logic ALENI+
Journal of Software
The Complexity of Theorem-Proving Procedures
