Bibliographies thématiques / Tableaux-based decision procedure

Littérature scientifique sur le sujet « Tableaux-based decision procedure »

Auteur : Grafiati
Publié le 11 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Tableaux-based decision procedure ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Tableaux-based decision procedure"

1

Huang, Jian, Xinye Zhao et Jianxing Gong. « Optimised ExpTime Tableaux for𝒮ℋℐ𝒩over Finite Residuated Lattices ». Journal of Applied Mathematics 2014 (2014) : 1–15. http://dx.doi.org/10.1155/2014/702326.

Texte intégral
Résumé :
This study proposes to adopt a novel tableau reasoning algorithm for the description logic𝒮ℋℐ𝒩with semantics based on a finite residuated De Morgan lattice. The syntax, semantics, and logical properties of this logic are given, and a sound, complete, and terminating tableaux algorithm for deciding fuzzy ABox consistency and concept satisfiability problem with respect to TBox is presented. Moreover, based on extended and/or completion-forest with a series of sound optimization technique for checking satisfiability with respect to a TBox in the logic, a new optimized ExpTime (complexity-optimal) tableau decision procedure is presented here. The experimental evaluation indicates that the optimization techniques we considered result in improved efficiency significantly.
Styles APA, Harvard, Vancouver, ISO, etc.
2

del Cerro, Luis Fariñas, et Olivier Gasquet. « Tableaux Based Decision Procedures for Modal Logics of Confluence and Density ». Fundamenta Informaticae 40, no 4 (1999) : 317–33. http://dx.doi.org/10.3233/fi-1999-40401.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Balbiani, Philippe, Çiğdem Gencer et Zafer Özdemir. « Two decision problems in Contact Logics ». Logic Journal of the IGPL 27, no 1 (5 juillet 2018) : 8–32. http://dx.doi.org/10.1093/jigpal/jzy016.

Texte intégral
Résumé :
Abstract Contact Logics provide a natural framework for representing and reasoning about regions in several areas of computer science. In this paper, we focus our attention on reasoning methods for Contact Logics and address the satisfiability problem and the unifiability problem. Firstly, we give sound and complete tableaux-based decision procedures in Contact Logics and we obtain new results about the decidability/complexity of the satisfiability problem in these logics. Secondly, we address the computability of the unifiability problem in Contact Logics and we obtain new results about the unification type of the unifiability problem in these logics.
Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Tableaux-based decision procedure"

1

Friedmann, Oliver, Markus Latte et Martin Lange. « A Decision Procedure for CTL* Based on Tableaux and Automata ». Dans Automated Reasoning, 331–45. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_28.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Cerna, David. « A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata ». Dans Lecture Notes in Computer Science, 61–75. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08434-3_6.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Golińska-Pilarek, Joanna, Taneli Huuskonen et Michał Zawidzki. « Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity ». Dans Automated Deduction – CADE 28, 41–57. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_3.

Texte intégral
Résumé :
AbstractSentential Calculus with Identity ($$\mathsf {SCI}$$ SCI ) is an extension of classical propositional logic, featuring a new connective of identity between formulas. In $$\mathsf {SCI}$$ SCI two formulas are said to be identical if they share the same denotation. In the semantics of the logic, truth values are distinguished from denotations, hence the identity connective is strictly stronger than classical equivalence. In this paper we present a sound, complete, and terminating algorithm deciding the satisfiability of $$\mathsf {SCI}$$ SCI -formulas, based on labelled tableaux. To the best of our knowledge, it is the first implemented decision procedure for $$\mathsf {SCI}$$ SCI which runs in NP, i.e., is complexity-optimal. The obtained complexity bound is a result of dividing derivation rules in the algorithm into two sets: decomposition and equality rules, whose interplay yields derivation trees with branches of polynomial length with respect to the size of the investigated formula. We describe an implementation of the procedure and compare its performance with implementations of other calculi for $$\mathsf {SCI}$$ SCI (for which, however, the termination results were not established). We show possible refinements of our algorithm and discuss the possibility of extending it to other non-Fregean logics.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Cerrito, Serenella, et Marta Cialdea Mayer. « A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders ». Dans Lecture Notes in Computer Science, 104–18. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22119-4_10.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Cerrito, Serenella, Amélie David et Valentin Goranko. « Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ ». Dans Automated Reasoning, 277–91. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08587-6_21.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie