Login / Signup
Automated Theorem Proving in Non-Classical Logics.
Lincoln A. Wallen
Published in:
SCAI (1988)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
inference rules
logic programming
logic programs
machine learning
theoretical framework
artificial intelligence
text classification
dynamic environments
relational databases
query language
data model
search algorithm