Conference Proceedings

Logic programming: From underspecification to undefinedness

L Naish, H Søndergaard, B Horsfall

Conferences in Research and Practice in Information Technology Series: Theory of Computing 2012 | Published : 2012