Higher Order Conditional Rewriting and Narrowing.
Jürgen AvenhausCarlos Loría-SáenzPublished in: CCL (1994)
Keyphrases
- higher order
- high order
- markov models
- markov random field
- natural images
- low order
- pairwise
- query language
- conditional random fields
- regular path queries
- lower order
- rewriting rules
- query rewriting
- anti unification
- database
- presburger arithmetic
- random field model
- rewriting systems
- conditional logic
- datalog programs
- computational complexity
- information systems
- real time