Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems

2013 ◽  
pp. 279-315
Author(s):  
Kazumi Nakamatsu ◽  
Jair M. Abe
Keyword(s):  
Logic Programs ◽  
Verification Systems ◽  
Annotated Logic

scholarly journals Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

2009 ◽  
Vol 225 ◽  
pp. 141-159 ◽  
Author(s):  
Ekaterina Komendantskaya ◽  
Anthony Karel Seda
Keyword(s):  
Logic Programs ◽  
Sld Resolution ◽  
Annotated Logic

Coherent Well-founded Annotated Logic Programs

2010 ◽  
pp. 262-276 ◽  
Author(s):  
Carlos Viegas Damásio ◽  
Luís Moniz Pereira ◽  
Terrance Swift
Keyword(s):  
Logic Programs ◽  
Annotated Logic

The development of paraconsistent annotated logic programs

2009 ◽  
Vol 1 (1/2) ◽  
pp. 92 ◽  
Author(s):  
Kazumi Nakamatsu ◽  
Jair Minoro Abe
Keyword(s):  
Logic Programs ◽  
Annotated Logic
Sign in / Sign up

Export Citation Format

Share Document