Author:
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
A constraint-based approach to proof procedures for multi-valued logics
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
In:
Proceedings of the 1st World Conference on Fundamentals of Artificial Intelligence (WOCFAI)
Place of publ.:
Berlin, Heidelberg, Germany
Publisher:
Springer
URI:
urn:nbn:se:liu:diva-41413
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41413
Available from:
2009-10-10
Statistics:
5 hits