ExpTime Tableau Decision Procedures for Regular Grammar Logics With Converse

Studia Logica - Netherlands
doi 10.1007/s11225-011-9341-3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Decision Procedures for Some Strong Hybrid Logics

Logic and Logical Philosophy
Philosophy
2013English

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

Logic Journal of the IGPL
Philosophy
2007English

And-Or Tableaux for Fixpoint Logics With Converse: LTL, CTL, PDL and CPDL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Decision Procedures for String Constraints

English

The Equivalent Conversion Between Regular Grammar and Finite Automata

Journal of Software Engineering and Applications
2013English

Multiple Decision Sequential Procedures

English

Reconsidering the Role of Procedures for Decision Acceptance

British Journal of Political Science
SociologyInternational RelationsPolitical Science
2016English

Real Time QRS Complex Detection Using DFA and Regular Grammar

BioMedical Engineering Online
Nuclear MedicineRadiologyUltrasound TechnologyRadiologicalBiomaterialsImagingMedicineBiomedical Engineering
2017English

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

Journal of Artificial Intelligence Research
Artificial Intelligence
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy