Search results
From MaRDI portal
- Constructive Logic for Access Control and Its Sequent Calculus 2011-07-01 Paper A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ 2011-07-01...10 bytes (17 words) - 14:35, 11 December 2023
- multiple premise tableau calculus 2010-09-08 Paper \(\mathcal {BCDL}\): Basic constructive description logic 2010-05-26 Paper A tableau calculus for Propositional...10 bytes (16 words) - 09:02, 25 September 2023
- Paper A sequent calculus for skeptical Default Logic 2019-01-15 Paper CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS 2018-11-29 Paper...10 bytes (16 words) - 17:38, 9 December 2023
- Publication Date of Publication Type A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ 2013-10-04 Paper $...10 bytes (16 words) - 13:32, 7 October 2023
- Publication Date of Publication Type Tableau calculus for basic fuzzy logic BL 2019-08-22 Paper Strong standard completeness for continuous t-norms 2018-10-16...10 bytes (16 words) - 20:53, 24 September 2023
- Publication Type A sequent calculus and a theorem prover for standard conditional logics 2017-07-12 Paper Tableau calculus for preference-based conditional...10 bytes (18 words) - 16:52, 12 December 2023
- announcements: a completeness result 2019-01-31 Paper An axiomatic system and a tableau calculus for STIT imagination logic 2018-05-28 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 04:52, 12 December 2023
- Secrecy Properties in Security Protocols 2013-07-24 Paper An analytic tableau calculus for a temporalised belief logic 2012-10-16 Paper Formal enforcement...10 bytes (16 words) - 09:01, 7 October 2023
- Solving the Team Composition Problem in a Classroom 2020-11-16 Paper A tableau calculus for non-clausal maximum satisfiability 2020-05-14 Paper Adaptive predictive...10 bytes (18 words) - 02:29, 25 September 2023
- Constructive Logic for Access Control and Its Sequent Calculus 2011-07-01 Paper A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ 2011-07-01...10 bytes (17 words) - 14:35, 11 December 2023
- Minspaces 2011-07-01 Paper Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces 2010-10-12 Paper Tableau Calculi for $\mathcal{CSL}$...10 bytes (16 words) - 02:58, 25 September 2023
- non-linear models to study energy cycles in ecology. 2004-08-26 Paper A Tableau Calculus for Hajek's Logic BL 2004-05-18 Paper https://portal.mardi4nfdi.de/entity/Q2776809...10 bytes (20 words) - 17:25, 6 October 2023
- Publication Date of Publication Type A tableau calculus for first-order branching time logic 2019-04-29 Paper Proving correctness of labeled transition...10 bytes (16 words) - 08:39, 7 October 2023
- 2010-03-09 Paper Automated Reasoning 2007-09-25 Paper The disconnection tableau calculus 2007-05-04 Paper https://portal.mardi4nfdi.de/entity/Q4412858 2003-07-17...10 bytes (16 words) - 12:28, 6 October 2023
- 2010-03-09 Paper Automated Reasoning 2007-09-25 Paper The disconnection tableau calculus 2007-05-04 Paper Automated Reasoning with Analytic Tableaux and Related...10 bytes (16 words) - 12:28, 6 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q2701985 2002-02-17 Paper Tableau calculus for local cubic modal logic and its implementation 2000-07-05 Paper...10 bytes (17 words) - 22:48, 24 September 2023
- Constructive Logic for Access Control and Its Sequent Calculus 2011-07-01 Paper A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ 2011-07-01...10 bytes (18 words) - 14:35, 11 December 2023
- Ontology-Mediated Querying with the Guarded Fragment 2020-09-11 Paper A Tableau Calculus for Minimal Modal Model Generation 2016-10-07 Paper Terminating Minimal...10 bytes (16 words) - 01:59, 25 September 2023
- de/entity/Q4663857 2005-04-04 Paper A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case 2003-08-24 Paper A tableau decision algorithm for modalized...10 bytes (16 words) - 23:25, 24 September 2023
- semantics for Petri nets with read and inhibitor arcs 2004-10-01 Paper A Tableau Calculus for Hajek's Logic BL 2004-05-18 Paper https://portal.mardi4nfdi.de/entity/Q2776809...10 bytes (18 words) - 02:13, 10 December 2023
