A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities

Author： Cerrito Serenella

Publisher： Springer Publishing Company

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.51, Iss.2, 2013-08, pp. : 197-239

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 Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

By Cantone Domenico Zarba Calogero Cannata Rosa

Journal of Automated Reasoning, Vol. 34, Iss. 1, 2005-01 ,pp. : 49-72

Springer Publishing Company

Access to resources Recommend Favorite

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

By Bresolin Davide Montanari Angelo Sciavicco Guido

Journal of Automated Reasoning, Vol. 38, Iss. 1-3, 2007-04 ,pp. : 173-199

Springer Publishing Company

Access to resources Recommend Favorite

A Goal-Directed Decision Procedure for Hybrid PDL

By Kaminski Mark Smolka Gert

Journal of Automated Reasoning, Vol. 52, Iss. 4, 2014-04 ,pp. : 407-450

Springer Publishing Company

Access to resources Recommend Favorite

Expressive Applications of Constraint Logic Programming

By Day W.B.

Artificial Intelligence Review, Vol. 11, Iss. 6, 1997-12 ,pp. : 427-452

Springer Publishing Company

Access to resources Recommend Favorite

Hybrid reasoning-based system for collaborative decision-making

By Adla Abdelkader

International Journal of Reasoning-based Intelligent Systems, Vol. 3, Iss. 3-4, 2011-11 ,pp. : 205-211

Inderscience Publishers

Access to resources Recommend Favorite