Login / Signup
Brasilia Spring on Automated Reasoning.
Cláudia Nalon
Daniele Nantes Sobrinho
Elaine Pimentel
João Marcos
Published in:
ACM SIGLOG News (2018)
Keyphrases
</>
automated reasoning
reasoning systems
knowledge representation
theorem proving
theorem prover
decision procedures
probabilistic reasoning
reasoning tasks
logical implication
knowledge representation and reasoning
expert systems
object oriented
propositional satisfiability
machine learning
labeled data