Search results
From MaRDI portal
- Paper Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic 2023-08-28 Paper Deciding FO-definability of...10 bytes (17 words) - 23:16, 9 December 2023
- Semantics of Logic Programs 2012-11-13 Paper The View-Update Problem for Indefinite Databases 2012-09-21 Paper Connecting First-Order ASP and the Logic FO(ID) through...10 bytes (17 words) - 14:24, 10 December 2023
- MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees 2009-02-24 Paper Multimodal logics of products of topologies 2007-01-29 Paper Computer Science Logic 2006-11-01...10 bytes (19 words) - 01:39, 10 December 2023
- Paper Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic 2023-08-28 Paper Deciding FO-definability of...10 bytes (16 words) - 19:44, 6 October 2023
- Type Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic 2023-08-28 Paper Deciding FO-definability of...10 bytes (17 words) - 16:32, 10 December 2023
- Grounding FO and FO(ID) with Bounds 2010-05-31 Paper Debugging for Model Expansion 2009-07-24 Paper SAT(ID): Satisfiability of Propositional Logic Extended...10 bytes (16 words) - 03:07, 7 October 2023
- satisfiability for logics with successor and a unary function 2020-05-11 Paper Undecidability of satisfiability of expansions of FO [ < over words with a FO [ + ]-definable...10 bytes (16 words) - 10:04, 7 October 2023
- classical logic with rule-based fixpoint definitions 2010-08-19 Paper Grounding FO and FO(ID) with Bounds 2010-05-31 Paper A Deductive System for FO(ID) Based...10 bytes (16 words) - 08:52, 7 October 2023
- Paper Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic 2023-08-28 Paper Deciding FO-definability of...10 bytes (16 words) - 15:16, 6 October 2023
- Extending classical logic with rule-based fixpoint definitions 2010-08-19 Paper A Deductive System for FO(ID) Based on Least Fixpoint Logic 2009-11-10 Paper...10 bytes (16 words) - 15:30, 24 September 2023
- on FO Model Checking of Dense Graph Classes 2020-09-11 Paper https://portal.mardi4nfdi.de/entity/Q4625695 2019-02-25 Paper A New Perspective on FO Model...10 bytes (16 words) - 03:05, 25 September 2023
- Crossing Number 2016-01-11 Paper Faster Existential FO Model Checking on Posets 2016-01-07 Paper FO Model Checking of Interval Graphs 2016-01-07 Paper Are...10 bytes (17 words) - 16:33, 8 December 2023
- Fixed-Point Logics 2011-01-03 Paper Craig Interpolation for Linear Temporal Languages 2009-11-12 Paper Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1...10 bytes (16 words) - 10:32, 6 October 2023
- of Publication Type Grounding FO and FO(ID) with Bounds 2010-05-31 Paper SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions...10 bytes (16 words) - 19:37, 26 December 2023
- Contributions to Classical Logic 2011-05-19 Paper ProbLog Technology for Inference in a Probabilistic First Order Logic 2011-05-11 Paper FO(ID) as an extension...10 bytes (16 words) - 17:34, 6 October 2023
- higher-order queries 2015-09-28 Paper Regular tree languages definable in FO and in FO mod 2015-09-17 Paper The per-character cost of repairing word languages...10 bytes (17 words) - 19:09, 11 December 2023
- Publication Type Defining long words succinctly in FO and MSO 2022-12-07 Paper Formula size games for modal logic and μ-calculus 2020-02-17 Paper https://portal...10 bytes (17 words) - 01:44, 25 September 2023
- Enumeration for FO Queries over Nowhere Dense Graphs 2023-04-27 Paper https://portal.mardi4nfdi.de/entity/Q5092420 2022-07-21 Paper Answering FO+MOD Queries...10 bytes (17 words) - 04:12, 7 October 2023
- 2015-09-22 Paper Regular tree languages definable in FO and in FO mod 2015-09-17 Paper Two-variable logic on data words 2015-09-17 Paper Enumeration of monadic...10 bytes (16 words) - 10:16, 6 October 2023
- Paper Conelikes and ranker comparisons 2023-07-26 Paper Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words 2022-03-25 Paper...10 bytes (16 words) - 13:45, 7 October 2023
