A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux

Author： Cantone Domenico   Nicolosi-Asmundo Marianna  

Publisher： Springer Publishing Company

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.38, Iss.1-3, 2007-04, pp. : 31-56

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

Rule-based agents for the semantic web

By Dietrich J.   Kozlenkov A.   Schroeder M.   Wagner G.  

Electronic Commerce Research and Applications, Vol. 2, Iss. 4, 2003-12 ,pp. : 323-338

Elsevier

Access to resources Recommend Favorite

A framework for deriving semantic web services

By Bell David   Cesare Sergio   Iacovelli Nicola   Lycett Mark   Merico Antonio  

Information Systems Frontiers, Vol. 9, Iss. 1, 2007-03 ,pp. : 69-84

Springer Publishing Company

Access to resources Recommend Favorite

Semantic Sensor Net: an extensible framework

By Ni Lionel M.   Zhu Yanmin   Ma Jian   Luo Qiong   Liu Yunhao   Cheung S.C.   Yang Qiang   Li Minglu   Wu Min-you  

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 4, Iss. 3-4, 2009-04 ,pp. : 157-167

Inderscience Publishers

Access to resources Recommend Favorite

An Integrated Framework for Semantic Annotation and Adaptation

By Bertini M.   Cucchiara R.   Bimbo A.   Prati A.  

Multimedia Tools and Applications, Vol. 26, Iss. 3, 2005-08 ,pp. : 345-363

Springer Publishing Company

Access to resources Recommend Favorite

Rewriting Logic as a Logical and Semantic Framework

By Marti-Oliet N.   Meseguer J.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-36

Elsevier

Access to resources Recommend Favorite