Loading...
Loading...

Go to the content (press return)

Maximal strategies for paramodulation with non-monotonic orderings

Author
Bofill, M.; Godoy, G.
Type of activity
Report
Date
1999-07
Code
R99-28
Repository
http://hdl.handle.net/2117/93071 Open in new window
Abstract
A west ordering is a well-founded (strict partial) ordering on terms that satisfies the subterm property. In [Bofill, Godoy, Nieuwenhuis, Rubio, (BGNR-LICS99)] the completeness of an ordered paramodulation inference system w.r.t. west orderings was proved, thus dropping for the first time the monotonicity requirements on the ordering. However, the inference system still required the eager selection of negative equations. Here we improve upon [BGNR-LICS99] in two directions. On the one hand, w...
Citation
Bofill, M., Godoy, G. "Maximal strategies for paramodulation with non-monotonic orderings". 1999.
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments