A paraconsistent annotated logic program called bf-EVALPSN has been developed for dealing with before-after relations between processes and applied to real-time process order control. In order to increase the efficiency of bf-EVALPSN process order control, a transitive reasoning system of before-after relations in bf-EVALPSN is introduced. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Nakamatsu, K., Abe, J. M., & Akama, S. (2008). Transitive reasoning of before-after relation based on Bf-EVALPSN. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5178 LNAI, pp. 474–482). Springer Verlag. https://doi.org/10.1007/978-3-540-85565-1_59
Mendeley helps you to discover research relevant for your work.