Fibrational semantics for many-valued logic programs: Grounds for non-groundness

Ekaterina Komendantskaya^*, John Power

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

1 results

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