Login / Signup
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.
Luis Aguirre
Narciso Martí-Oliet
Miguel Palomino
Isabel Pita
Published in:
J. Autom. Reason. (2018)
Keyphrases
</>
conditional logic
modal logic
formal specification
natural language
logic programming
query rewriting
rewrite rules
part of speech
automated reasoning
nonmonotonic inference
equational theories
data model
noun phrases
classical logic
rewriting rules