Related content

Paraconsistent Declarative Semantics for Extended Logic Programs

By Arieli O.  

Annals of Mathematics and Artificial Intelligence, Vol. 36, Iss. 4, 2002-12 ,pp. : 381-417

Springer Publishing Company

Access to resources Recommend Favorite

An empirical study of the 4-valued Kripke–Kleene and 4-valued well-founded semantics in random propositional logic programs

By Giannella C.  

Annals of Mathematics and Artificial Intelligence, Vol. 25, Iss. 3-4, 1999-01 ,pp. : 275-309

Springer Publishing Company

Access to resources Recommend Favorite

Multi-valued autoepistemic logic

By Stärk R.F.  

Annals of Mathematics and Artificial Intelligence, Vol. 18, Iss. 2-4, 1997-01 ,pp. : 159-174

Springer Publishing Company

Access to resources Recommend Favorite

Semantics and expressiveness of disjunctive ordered logic

By Buccafurri F.  

Annals of Mathematics and Artificial Intelligence, Vol. 25, Iss. 3-4, 1999-01 ,pp. : 311-337

Springer Publishing Company

Access to resources Recommend Favorite

A note on Kripke semantics for residuated logic

By Djurdjevic P.   Djokic D.   Al-Saqabi K.   Saleh K.   Ahmad I.   MacCaull W.  

Fuzzy Sets and Systems, Vol. 77, Iss. 2, 1996-01 ,pp. : 229-234

Elsevier

Access to resources Recommend Favorite