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

Ekaterina Komendantskaya^*
, Anthony Karel Seda

^*Corresponding author for this work

School of Computer Science

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished
Fellowship CLANN EP/F044046/1: Computational Logic in Artificial Neural Networks
Dyckhoff, R. (PI)
EPSRC
1/10/08 → 30/09/11
Project: Fellowship