Author:
Prihozhy Anatoly,Prihozhaya Liudmila
Reference11 articles.
1. Damiani, M. and de Micheli, G. Don’t care set specifications in combinational and synchronous logic circuits. IEEE Trans. On CAD, 12, 1993, pp. 365–388.
2. Filman, R. Reasoning with worlds and truth maintenance in a knowledge-based programming environment. Communications of the ACM, 31 (4), 1988, pp. 382–401.
3. Pliuskevicius, R. The saturated tableaux for linear miniscoped hom-like temporal logic. Journal of Automated Reasoning, 13, 1994, pp. 391–407.
4. Prihozhy, A. A. Methods of partial logic. Proc. Int. Conf. on Neuro Computers and Artificial Intelligence, Brest, 1999.
5. Prihozhy, A. A. Logic inference in partial logic. Intelligent Systems, Minsk, Belarus, 1998, pp. 123–140.