Abstract
In this paper, we propose a new paraconsistent annotated logic program called bf-EVALPSN (before-after Extended Vector Annotated Logic Program with Strong Negation) that can deal with before-after relations between processes and introduce its application to process order control and safety verification with simple examples.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have