Relevant bibliographies by topics / Tableau calculus

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Tableau calculus'

Author: Grafiati
Published: 4 June 2021
Last updated: 5 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Tableau calculus.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Tableau calculus"

1

Zach, Richard. "Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC." Australasian Journal of Logic 15, no. 3 (2018): 609. http://dx.doi.org/10.26686/ajl.v15i3.4780.

Full text
Abstract:
Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
APA, Harvard, Vancouver, ISO, and other styles
2

Letz, Reinhold, and Gernot Stenz. "The Disconnection Tableau Calculus." Journal of Automated Reasoning 38, no. 1-3 (2006): 79–126. http://dx.doi.org/10.1007/s10817-006-9048-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

JÄRVISALO, MATTI, and EMILIA OIKARINEN. "Extended ASP Tableaux and rule redundancy in normal logic programs." Theory and Practice of Logic Programming 8, no. 5-6 (2008): 691–716. http://dx.doi.org/10.1017/s1471068408003578.

Full text
Abstract:
AbstractWe introduce an extended tableau calculus for answer set programming (ASP). The proof system is based on the ASP tableaux defined in the work by Gebser and Schaub (Tableau calculi for answer set programming. In Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006), S. Etalle and M. Truszczynski, Eds. Lecture Notes in Computer Science, vol. 4079. Springer, 11–25) with an added extension rule. We investigate the power of Extended ASP Tableaux both theoretically and empirically. We study the relationship of Extended ASP Tableaux with the Extended Resolution pro
APA, Harvard, Vancouver, ISO, and other styles
4

IBENS, ORTRUN, and MARC FUCHS. "AN AUTOMATED THEOREM PROVER BASED ON CONNECTION TABLEAU CALCULI WITH DISJUNCTIVE CONSTRAINTS." International Journal on Artificial Intelligence Tools 10, no. 01n02 (2001): 181–98. http://dx.doi.org/10.1142/s0218213001000477.

Full text
Abstract:
Automated theorem proving with connection tableau calculi imposes search problems in tremendous search spaces. In this paper, we present a new approach to search space reduction in connection tableau calculi. In our approach structurally similar parts of the search space are compressed by means of disjunctive constraints. We describe the necessary changes of the calculus, and we develop elaborate techniques for an efficient constraint processing. Moreover, we present an experimental evaluation of our approach.
APA, Harvard, Vancouver, ISO, and other styles
5

Montagna, F. "A Tableau Calculus for Hajek's Logic BL." Journal of Logic and Computation 13, no. 2 (2003): 241–59. http://dx.doi.org/10.1093/logcom/13.2.241.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Giordano, Laura, Valentina Gliozzi, Nicola Olivetti, and Camilla Schwind. "Tableau calculus for preference-based conditional logics." ACM Transactions on Computational Logic 10, no. 3 (2009): 1–50. http://dx.doi.org/10.1145/1507244.1507251.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Fiorino, Guido. "A non-clausal tableau calculus for MinSat." Information Processing Letters 173 (January 2022): 106167. http://dx.doi.org/10.1016/j.ipl.2021.106167.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Papacchini, Fabio, and Renate A. Schmidt. "A Tableau Calculus for Minimal Modal Model Generation." Electronic Notes in Theoretical Computer Science 278 (November 2011): 159–72. http://dx.doi.org/10.1016/j.entcs.2011.10.013.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Gu, Hua Mao, Jin Qin Shi, and Xia Jun Zhu. "Deciding the ALCNIR+-Satisfiability with a Fully Tiered Clause." Key Engineering Materials 439-440 (June 2010): 1337–42. http://dx.doi.org/10.4028/www.scientific.net/kem.439-440.1337.

Full text
Abstract:
In contrast with Tableau algorithm, this paper presented a totally new approach to check the satisfiabilities of acyclic ALCNIR+-concepts―FTC algorithm. This calculus can make a direct judgment on the satisfiability of an acyclic ALCNIR+-concept by translating its description into a fully tiered clause whose satisfiability is directly available. FTC algorithm eliminates description overlaps to largest extent as it works on concept description directly. Therefore, FTC algorithm has notably better performance than Tableaux by saving a lot of spatial costs.
APA, Harvard, Vancouver, ISO, and other styles
10

Motik, B., R. Shearer, and I. Horrocks. "Hypertableau Reasoning for Description Logics." Journal of Artificial Intelligence Research 36 (October 28, 2009): 165–228. http://dx.doi.org/10.1613/jair.2811.

Full text
Abstract:
We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic Web. Unnecessary nondeterminism and the construction of large models are two primary sources of inefficiency in the tableau-based reasoning calculi used in state-of-the-art reasoners. In order to reduce nondeterminism, we base our calculus on hypertableau and hyperresolution calculi, which we extend with a blocking condition to ensure termination. In order to reduce the size of the constructed models, we introduce anywhere pairwise block
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Tableau calculus"

1

Jungteerapanich, Natthapong. "Tableau systems for the modal μ-calculus". Thesis, University of Edinburgh, 2010. http://hdl.handle.net/1842/4208.

Full text
Abstract:
The main content of this thesis concerns a tableau method for solving the satisfiability problem for the modal μ-calculus. A sound and complete tableau system for the modal μ-calculus is given. Since every tableau in such tableau system is finite and bounded by the length of the formula, the tableau system may be used as a decision procedure for determining the satisfiability of the formula. An alternative proof of the small model property is obtained: every satisfiable formula has a model of size singleexponential in the length of the formula. Contrary to known proofs in literature, the resul
APA, Harvard, Vancouver, ISO, and other styles
2

Khodadadi, Mohammad. "Exploration of variations of unrestricted blocking for description logics." Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/exploration-of-variations-of-unrestricted-blocking-for-description-logics(3fc15638-1483-42d0-a827-75cb231f0737).html.

Full text
Abstract:
Description logics are a family of logics that provide formalisms for representing and reasoning about knowledge, based on describing concepts, in a structured and formally well-understood way. They provide the logical foundation for the web ontology language (OWL), which increased awareness of them recently. The most popular techniques for decision procedures for description logics are tableau reasoning methods, which have a long tradition and are well established in automated reasoning. This thesis investigates the possibility of finding a general and optimised blocking mechanism for descrip
APA, Harvard, Vancouver, ISO, and other styles
3

Farooque, Mahfuza. "Automated Reasoning Techniques as Proof-search in Sequent Calculus." Palaiseau, Ecole polytechnique, 2013. http://pastel.archives-ouvertes.fr/docs/00/96/13/44/PDF/Farooque.pdf.

Full text
Abstract:
Le raisonnement assisté par ordinateur joue un rôle crucial en informatique et en logique mathématique, de la programmation logique à la déduction automatique, en passant par les assistants à la démonstration. Le but de cette thèse est la conception d'un cadre général où différentes techniques de raisonnement assisté par ordinateur peuvent être implémentées, pour que ces dernières puissent collaborer, être généralisées, et être implémentées de manière plus sûre. Le cadre que je propose est un calcul des séquents appelé LKp(T), qui généralise un système de la littérature à la présence d'une thé
APA, Harvard, Vancouver, ISO, and other styles
4

Reker, Hilverd Geert. "Tableau-based reasoning for decidable fragments of first-order logic." Thesis, University of Manchester, 2012. https://www.research.manchester.ac.uk/portal/en/theses/tableaubased-reasoning-for-decidable-fragments-of-firstorder-logic(f47e0c7d-399d-48c9-8745-a907c5475f7d).html.

Full text
Abstract:
Automated deduction procedures for modal logics, and related decidable fragments of first-order logic, are used in many real-world applications. A popular way of obtaining decision procedures for these logics is to base them on semantic tableau calculi. We focus on calculi that use unification, instead of the more widely employed approach of generating ground instantiations over the course of a derivation. The most common type of tableaux with unification are so-called free-variable tableaux, where variables are treated as global to the entire tableau. A long-standing open problem for procedur
APA, Harvard, Vancouver, ISO, and other styles
5

Bélanger, Normand. "Outils et méthodes pour le traitement parallèle de calculs sur des tableaux." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape17/PQDD_0023/NQ32988.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kimmel, Pierre. "Extensions modales des logiques de ressources : expressivité et calculs." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0299/document.

Full text
Abstract:
Le développement de nouveaux formalismes logiques est au cœur de nombreuses problématiques de méthodes formelles. Ces formalismes doivent répondre à la fois à des impératifs de modélisation (ils doivent permettre de décrire certains systèmes) et de calcul (ils doivent fournir des méthodes de calcul correctes et complètes). Dans ce contexte, nous nous intéressons aux logiques de ressources, en particulier les logiques BI et BBI qui traitent du partage et de la séparation de ressources et qui ont conduit aux diverses logiques de séparation dont les applications à la vérification de programmes se
APA, Harvard, Vancouver, ISO, and other styles
7

Chetcuti, Nathalie. "Déduction automatique en calcul des durées basée sur la méthode des tableaux." Toulouse 3, 2001. http://www.theses.fr/2001TOU30144.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Han, Guoniu. "Etudes statistiques sur le groupe symetrique et les tableaux de young. Calcul denertien." Université Louis Pasteur (Strasbourg) (1971-2008), 1992. http://www.theses.fr/1992STR13047.

Full text
Abstract:
Nous avons donne des demonstrations directes du fait que la paire de statistiques sur le groupe symetrique formee par le nombre d'excedances et une autre statistique introduite par denert est euler-mahonienne. En utilisant l'interpretation combinatoire des polynomes de kostka-foulkes etablie par lascoux et schutzenberger, nous avons etudie les proprietes de croissance de ces polynomes et repondu ainsi a une conjecture proposee par gupta (brylinski). Nous proposons egalement une extension de toute la theorie geometrique des nombres de genocchi introduite par dumont. Nous avons mis en evidence l
APA, Harvard, Vancouver, ISO, and other styles
9

Capponi, Bernard. "Calcul algébrique et programmation dans un tableur : le cas de Multiplan." Phd thesis, Grenoble 1, 1990. http://tel.archives-ouvertes.fr/tel-00338688.

Full text
Abstract:
L'apprentissage des tableurs par des utilisateurs débutants, élevés de la fin de la scolarité obligatoire ou adultes du secteur tertiaire, pose un certain nombre de problèmes lies aux concepts algébriques en jeu, en particulier dans les formules du tableur; notamment la notion de références relatives. L'objet de ce travail est d'étudier la contextualisation des connaissances algébriques de ces utilisateurs dans un tableur. Nous avons particulièrement étudié le cas de multiplan#t#m. Nous avons ainsi pu mettre en évidence certains des obstacles que présente l'apprentissage a l'utilisation de ce
APA, Harvard, Vancouver, ISO, and other styles
10

Capponi, Bernard Balacheff Nicolas Laborde Jean-Marie. "Calcul algébrique et programmation dans un tableur le cas de Multiplan /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00338688.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Tableau calculus"

1

Bradfield, Julian. An effective tableau system for the linear time mu-calculus. LFCS, Dept. of Computer Science, University of Edinburgh, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Popescu, Hristache. Calculul secțiunilor elementelor din beton armat: Proiectare rapidă. Editura Academiei Române, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

1958-, Dupont Daniel, ed. Le calcule-vite des emprunts personnels. Québécor, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

1958-, Dupont Daniel, ed. Le calcule-vite des emprunts hypothécaires. Québécor, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Plan de rendement d'un REÉR calculé annuellement. 91439 Canada, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Brault, Charles. Plan de rendement d'un REÉR calculé annuellement. 91439 Canada, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Spherical tensor operators: Tables of matrix elements and symmetries. World Scientific, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

M, Ryzhik I., and Jeffrey Alan, eds. Table of integrals, series, and products. 6th ed. Academic Press, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

M, Ryzhik I., and Jeffrey Alan, eds. Table of integrals, series, and products. 5th ed. Academic Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gradshteĭn, I. S. Table of integrals, series, and products. 6th ed. Edited by Ryzhik I. M and Jeffrey Alan. Academic Press, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Tableau calculus"

1

Pearce, David, Inmaculada P. de Guzmán, and Agustín Valverde. "A Tableau Calculus for Equilibrium Entailment." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722086_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Monz, Christof, and Maarten de Rijke. "A Tableau Calculus for Pronoun Resolution." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48754-9_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Schmitt, P. H., and W. Wernecke. "Tableau calculus for order sorted logic." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-52337-6_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kerber, Manfred, and Michael Kohlhase. "A Tableau Calculus for Partial Functions." In Collegium Logicum. Springer Vienna, 1996. http://dx.doi.org/10.1007/978-3-7091-9461-4_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Niemelä, Ilkka. "A tableau calculus for minimal model reasoning." In Theorem Proving with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61208-4_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kułlacka, Agnieszka. "Tableau Calculus for Basic Fuzzy Logic BL." In Information Processing and Management of Uncertainty in Knowledge-Based Systems. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08795-5_34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Chetcuti-Sperandio, Nathalie. "Tableau-Based Automated Deduction for Duration Calculus." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45616-3_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jungteerapanich, Natthapong. "A Tableau System for the Modal μ-Calculus." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02716-1_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Zarba, Calogero G. "A Tableau Calculus for Combining Non-disjoint Theories." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45616-3_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Schwendimann, Stefan. "A New One-Pass Tableau Calculus for PLTL." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69778-0_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Tableau calculus"

1

Sharaf, Nada, Slim Abdennadher, and Thom Fruhwirth. "Rule-Based Visualization of Tableau Calculus for Propositional Logic." In 2018 22nd International Conference Information Visualisation (IV). IEEE, 2018. http://dx.doi.org/10.1109/iv.2018.00069.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Burrieza, Alfredo, and Manuel Ojeda-Aciego. "On the modal logic of order-of-magnitude qualitative reasoning: a tableau calculus." In 2005 Purtuguese Conference on Artificial Intelligence. IEEE, 2005. http://dx.doi.org/10.1109/epia.2005.341259.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hou, Hui, and Jinzhao Wu. "Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web." In 2009 International Conference on Computational Science and Engineering. IEEE, 2009. http://dx.doi.org/10.1109/cse.2009.311.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dundua, Besik, Lia Kurtanidze, and Mikheil Rukhaia. "Unranked tableaux calculus for web related applications." In 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON). IEEE, 2017. http://dx.doi.org/10.1109/ukrcon.2017.8100435.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Zhou, Yong, Cheng-Chang (Sam) Pan, and Nazmul Islam. "Evaluation of Engineering Readiness and Active Rate Enhanced by Intensive Summer Bridge Program." In ASME 2015 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/imece2015-53262.

Full text
Abstract:
An engineering Summer Bridge (Engineering Summer Readiness Workshop after 2015) program has been implemented at the University of Texas at Brownsville (UTB) since summer 2012. After three years of program data accumulation, we can now track those participants from their freshman up to junior year (for those still active in UTB engineering) and further extend our study on the effect of the designed engineering summer program on a) the semester the participants take Calculus I; b) the semester the participants pass Calculus I; c) the first- and second-year engineering active rate; and d) the suc
APA, Harvard, Vancouver, ISO, and other styles
6

Chambers, Terrence L., and Alan R. Parkinson. "Knowledge Representation and Conversion for Hybrid Expert Systems." In ASME 1995 Design Engineering Technical Conferences collocated with the ASME 1995 15th International Computers in Engineering Conference and the ASME 1995 9th Annual Engineering Database Symposium. American Society of Mechanical Engineers, 1995. http://dx.doi.org/10.1115/detc1995-0002.

Full text
Abstract:
Abstract Many different knowledge representations, such as rules and frames, have been proposed for use with engineering expert systems. Every knowledge representation has certain inherent strengths and weaknesses. A knowledge engineer can exploit the advantages, and avoid the pitfalls, of different common knowledge representations if the knowledge can be mapped from one representation to another as needed. This paper derives the mappings between rules, logic diagrams, frames, decision tables and decision trees using the calculus of truth-functional logic. The logical mappings between these re
APA, Harvard, Vancouver, ISO, and other styles
7

Saber, Hashim A. "Using maple, maple 3D graphics, and tablet PC to teach calculus II and III." In 2016 13th Learning and Technology Conference (L&T). IEEE, 2016. http://dx.doi.org/10.1109/lt.2016.7562864.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Prapavessi, Despina. "Work in Progress: Wireless Tablet Technology in the Calculus Classroom leads to Inquiry and Discovery." In Proceedings. Frontiers in Education. 36th Annual Conference. IEEE, 2006. http://dx.doi.org/10.1109/fie.2006.322511.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography