Login / Signup
Semantic Selection of Premisses for Automated Theorem Proving.
Petr Pudlák
Published in:
ESARLT (2007)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
natural language
domain specific
semantic web
semantic knowledge
semantic network
semantic analysis
selection algorithm
semantic representation
artificial intelligence
semantic search
domain ontology
semantic information
high level