[ontolog-forum] Paraconsistent Logic

[joel luis carbonera <joelcarbonera@xxxxxxxxx>]

Hi all.

I think that I have found some applications:

A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse

http://link.springer.com/chapter/10.1007%2F978-3-540-30133-2_126

Application of paraconsistent logic to control problems (railway interlocking safety verification, traffic signal control etc)

Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems

http://link.springer.com/chapter/10.1007/978-3-319-01866-9_9

Application of Paraconsistent Annotated Logic in Intelligent Systems

http://link.springer.com/chapter/10.1007/978-3-540-74171-8_69

Applications in logistics

--

____________________________________

CV: http://lattes.cnpq.br/0044387433155250

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)