Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/08/25 Vol. E83-ANo. 8 ;
pp. 1673-1680 Type of Manuscript: PAPER Category: Numerical Analysis and Optimization Keyword: modelling, predicate logic, propositional logic, integer programming,
Proof Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic--Minimum Modification for Provability-- Toshimasa WATANABENaomoto KATOKenji ONAGA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/04/25 Vol. E75-ANo. 4 ;
pp. 478-491 Type of Manuscript: Special Section PAPER (Special Issue on Discrete Mathematics and Its Application) Category: Keyword: horn clauses, propositional logic, Petri nets, variable deletion, clause addition,