Hypothesis-based semantics of logic programs in multivalued logics
Stamate, Daniel; Loyer, Y. and Spyratos, N..
2004.
Hypothesis-based semantics of logic programs in multivalued logics.
ACM Transactions on Computational Logic, 5(3),
pp. 508-527.
ISSN 15293785
[Article]
Item Type | Article |
---|---|
Departments, Centres and Research Units | Computing |
Date Deposited | 12 Mar 2009 15:41 |
Last Modified | 20 Jun 2017 13:09 |