Search results
From MaRDI portal
- 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 \(\mathcal...10 bytes (13 words) - 22:25, 24 September 2023
- Reasoning with the Description Logic ALCF(D) 2003-05-05 Paper A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant...10 bytes (15 words) - 11:42, 7 October 2023
- as a framework for spatio-temporal reasoning 2003-03-12 Paper A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant...10 bytes (15 words) - 18:24, 9 December 2023
- as a framework for spatio-temporal reasoning 2003-03-12 Paper A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant...10 bytes (14 words) - 22:16, 9 December 2023
- 2008-01-04 Paper An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic 2007-09-03 Paper An optimal decision procedure for right propositional...10 bytes (15 words) - 18:13, 11 December 2023
- 2008-10-27 Paper Tableau Systems for Logics of Subinterval Structures over Dense Orderings 2008-01-04 Paper An Optimal Tableau-Based Decision Algorithm for Propositional...10 bytes (13 words) - 10:30, 7 October 2023
- 2008-01-04 Paper An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic 2007-09-03 Paper An optimal decision procedure for right propositional...10 bytes (13 words) - 04:34, 7 October 2023
- agents can safely share secrets in front of a spy 2015-12-07 Paper Tableau-based decision procedures for logics of strategic ability in multiagent systems...10 bytes (14 words) - 01:45, 10 December 2023
- Paper An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces 2006-05-30 Paper A tableau-based decision procedure for a fragment of set...10 bytes (15 words) - 23:41, 10 December 2023
- Date of Publication Type Decision tree learning with spatial modal logics 2024-12-06 Paper Neural-symbolic temporal decision trees for multivariate time...10 bytes (13 words) - 01:45, 10 December 2023
- deterministic Kaczmarz algorithm for solving linear systems 2021-05-17 Paper Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations...10 bytes (13 words) - 11:46, 7 October 2023
- learning-based algorithm to quickly compute good primal solutions for stochastic integer programs 2022-12-21 Paper A Framework for Fair Decision-making Over...10 bytes (15 words) - 18:24, 9 December 2023
- query language with unrestricted negation 2012-07-17 Paper ExpTime tableau decision procedures for regular grammar logics with converse 2012-03-09 Paper...10 bytes (14 words) - 20:34, 12 December 2023
- of multi-row models 2015-07-31 Paper A combinatorial branch-and-bound algorithm for box search 2015-04-09 Paper Integer Programs with Prescribed Number...10 bytes (13 words) - 04:44, 13 December 2023
- Unification Algorithm 1982-01-01 Paper Dynamic Programming as Graph Searching: An Algebraic Approach 1981-01-01 Paper Optimizing decision trees through...10 bytes (13 words) - 02:49, 7 October 2023
- and Subsumption via Model Checking 2013-12-17 Paper PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) 2013-07-05 Paper https://portal...10 bytes (15 words) - 22:05, 24 September 2023
- analysis: theoretical basis and applications 2024-10-24 Paper Bilattice tableau calculi with rough set semantics 2024-10-24 Paper Epistemic situation calculus...10 bytes (13 words) - 01:14, 25 September 2023
- the Topos of Trees 2015-10-01 Paper The Tableau Workbench 2015-03-23 Paper An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability 2015-03-23...10 bytes (14 words) - 08:58, 25 September 2023
- Programming 2008-03-11 Paper Tableau Calculi for Answer Set Programming 2008-03-11 Paper Finding Metabolic Pathways in Decision Forests 2008-03-06 Paper Alternative...10 bytes (16 words) - 19:59, 11 December 2023
- Paper Synchronous counting and computational algorithm design 2015-12-11 Paper Complexity-sensitive decision procedures for abstract argumentation 2015-08-27...10 bytes (15 words) - 13:05, 7 October 2023
