Sciweavers

200 search results - page 1 / 40
» Logic Programs under Three-Valued Lukasiewicz Semantics
Sort
View
ICLP
2009
Springer
14 years 5 months ago
Logic Programs under Three-Valued Lukasiewicz Semantics
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
Carroline Dewi Puspa Kencana Ramli, Steffen Hö...