ontolog-forum
[Top] [All Lists]

[ontolog-forum] Paraconsistent Logic

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: joel luis carbonera <joelcarbonera@xxxxxxxxx>
Date: Tue, 15 Jul 2014 22:17:53 -0300
Message-id: <CALqyLEcOKG_WL9omaFz0VCTUKW1V1qk7GWEC2WeJUUjEheNUZg@xxxxxxxxxxxxxx>
Hi all.

I think that I have found some applications:

A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse
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

Application of Paraconsistent Annotated Logic in Intelligent Systems
Applications in logistics

--
____________________________________

_________________________________________________________________
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)

<Prev in Thread] Current Thread [Next in Thread>