Login / Signup
Aapo Alasuutari
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Fixpoint
Nonmonotonic Reasoning
Existentially Quantified
General Logic Programs
Top Venues
IDT/IIMSS/STET
</>
Publications
</>
Aapo Alasuutari
,
Kazumi Nakamatsu
,
Jair Minoro Abe
A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN.
IDT/IIMSS/STET
(2014)