Semi-stable semantics

Author： Caminada Martin W. A.   Carnielli Walter A.   Dunne Paul E.  

Publisher： Oxford University Press

ISSN： 1465-363X

Source： Journal of Logic and Computation, Vol.22, Iss.5, 2012-10, pp. : 1207-1254

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A non-ground realization of the stable and well-founded semantics

By Gottlob G.   Marcus S.   Nerode A.   Salzer G.   Subrahmanian V.S.  

Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. : 221-262

Elsevier

Access to resources Recommend Favorite

Contributions to the stable model semantics of logic programs with negation

By Costantini S.  

Theoretical Computer Science, Vol. 149, Iss. 2, 1995-10 ,pp. : 231-255

Elsevier

Access to resources Recommend Favorite

A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics

By Yamasaki S.   Kurose Y.  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 489-512

Elsevier

Access to resources Recommend Favorite

Semantics of the map

By Ucar D.  

The Cartographic Journal, Vol. 29, Iss. 2, 1992-12 ,pp. : 151-153

Maney Publishing

Access to resources Recommend Favorite

Linking denotational semantics with operational semantics for web services

By Zhu Huibiao  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 4, 2010-12 ,pp. : 283-298

Springer Publishing Company

Access to resources Recommend Favorite