Conditional Narrowing Modulo in Rewriting Logic and Maude.
Luis AguirreNarciso Martí-OlietMiguel PalominoIsabel PitaPublished in: WRLA (2014)
Keyphrases
- conditional logic
- logic programming
- predicate logic
- equational theories
- rewrite rules
- conditional probabilities
- modal logic
- random field model
- classical logic
- multi valued
- query rewriting
- presburger arithmetic
- relational databases
- nonmonotonic inference
- computational properties
- probability theory
- formal specification
- logic programs
- probabilistic model