IEEE - Institute of Electrical and Electronics Engineers, Inc. - Paramodulation with non-monotonic orderings

Proceedings. 14th Symposium on Logic in Computer Science

Author(s): Bofill, M. ; Godoy, G. ; Nieuwenhuis, R. ; Rubio, A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Trento, Italy, Italy
Conference Date: 5 July 1999
Page(s): 225 - 233
ISBN (Paper): 0-7695-0158-3
ISSN (Paper): 1043-6871
DOI: 10.1109/LICS.1999.782618
Regular:

All current completeness results for ordered paramodulation require the term ordering > to be well-founded, monotonic and total(izable) on ground terms. Here we introduce a new proof technique... View More

Advertisement