Please use this identifier to cite or link to this item: http://hdl.handle.net/11717/15320
Title: A survey on computing prime implicants and implicates in classical and non-classical logics
Authors: Raut, M.K.
Singh, A.
Keywords: Artificial intelligence
First order logic
Modal logic
Prepositional logic
Prime implicants
Issue Date: 2014
Publisher: CRL Publishing
Citation: Computer Systems Science and Engineering, 29(5), 327-340
Abstract: In this paper we survey different methods of computation of prime implicants and implicates in prepositional, first order and modal logic and their applications in electrical engineering, truth maintenance systems and Diagnosis.
URI: http://dx.doi.org
http://hdl.handle.net/11717/15320
ISSN: 2676192
Appears in Collections:Articles

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.