Login / Signup
Identifying Knowledge from the Application of Natural Deduction Rules in Propositional Logic.
Fabiane F. P. Galafassi
Cristiano Galafassi
Rosa Maria Vicari
João Carlos Gluz
Published in:
PAAMS (2019)
Keyphrases
</>
propositional logic
deduction rules
belief revision
knowledge base
first order logic
quantified boolean formulae
knowledge representation
domain knowledge
possibilistic logic
lattice theory
artificial intelligence
natural language
expert systems
sequential patterns
theorem proving