IEEE - Institute of Electrical and Electronics Engineers, Inc. - A prime implicates-based formulae forgetting

2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE)

Author(s): Dai Xu ; Zuoquan Lin
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2011
Conference Location: Shanghai, China, China
Conference Date: 10 June 2011
Volume: 3
Page(s): 128 - 132
ISBN (CD): 978-1-4244-8726-4
ISBN (Electronic): 978-1-4244-8728-8
ISBN (Paper): 978-1-4244-8727-1
DOI: 10.1109/CSAE.2011.5952649
Regular:

This paper proposes a novel operation called formulae forgetting by extending literals forgetting, which is popular in reasoning about knowledge, to ignore or hide those irrelevant formulae for... View More

Advertisement