Computability in Europe 2006
Logical Approaches to Computational Barriers
|Author(s):||Ekaterina Komendantskaya and Anthony Seda|
|Slot:||Sat, 17:20-17:40, Faraday C (col. 2)|
Bilattice-based annotated logic programs (BAPs) form a very general class of programs which can handle uncertainty and conflicting information. We use BAPs to integrate two alternative paradigms of comutation: specifically, we introduce sound and copmlete SLD-resolution for BAPs and build learning artificial neural networks which can model iterations of the semantic operator associated with each BAP.
|websites: Arnold Beckmann||2006-06-23|