Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.
Luis AguirreNarciso Martí-OlietMiguel PalominoIsabel PitaPublished in: Logic, Rewriting, and Concurrency (2015)
Keyphrases
- conditional logic
- natural language
- similarity measure
- equational theories
- nonmonotonic inference
- formal specification
- logic programming
- multi valued
- modal logic
- rewrite rules
- nonmonotonic reasoning
- automated reasoning
- logical framework
- sentence level
- part of speech
- text summarization
- operational semantics
- digital divide
- machine learning