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 this paper, we propose a logical aticipatory system for before-after relation between processes based on reasoning of bf-EVALP vector annotations. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Nakamatsu, K., Abe, J. M., & Akama, S. (2009). A logical anticipatory system 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. 5712 LNAI, pp. 380–387). https://doi.org/10.1007/978-3-642-04592-9_48
Mendeley helps you to discover research relevant for your work.