Hybrid rules with well-founded semantics

Author： Drabent Włodzimierz   Małuszyński Jan  

Publisher： Springer Publishing Company

ISSN： 0219-1377

Source： Knowledge and Information Systems, Vol.25, Iss.1, 2010-10, pp. : 137-168

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

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

On the equivalence of the static and disjunctive well-founded semantics and its computation

By Brass S.   Dix  

Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. : 523-553

Elsevier

Access to resources Recommend Favorite

Bottom-up evaluation and query optimization of well-founded models

By Kemp D.B.   Srivastava D.   Stuckey P.J.  

Theoretical Computer Science, Vol. 146, Iss. 1, 1995-07 ,pp. : 145-184

Elsevier

Access to resources Recommend Favorite

Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets

By  

International Journal of Web Services Research (IJWSR), Vol. 3, Iss. 4, 2006-10 ,pp. : 1-31

IGI Global_journal

Access to resources Recommend Favorite

Formal Semantics of Dynamic Constraints and Derivation Rules in ORM

By  

International Journal of Information System Modeling and Design (IJISMD), Vol. 7, Iss. 2, 2016-04 ,pp. : 31-47

IGI Global_journal

Access to resources Recommend Favorite