Search results
From MaRDI portal
- rule within pure inductive logic 2016-02-09 Paper An analogy principle in inductive logic 2015-08-27 Paper From Unary to Binary Inductive Logic 2015-07-03...10 bytes (16 words) - 23:59, 9 December 2023
- theorem and equivalence between inductive definitions and cyclic proofs 2018-10-23 Paper Equivalence of Intuitionistic Inductive Definitions and Intuitionistic...10 bytes (13 words) - 06:56, 7 October 2023
- Order Logic 2011-05-11 Paper Probabilistic Inductive Querying Using ProbLog 2010-12-22 Paper A Theory of Inductive Query Answering 2010-12-22 Paper Fast learning...10 bytes (17 words) - 05:04, 9 December 2023
- Publication Date of Publication Type Learning definite Horn formulas from closure queries 2017-02-06 Paper Compact roundtrip routing with topology-independent...10 bytes (14 words) - 05:09, 7 October 2023
- theorem and equivalence between inductive definitions and cyclic proofs 2018-10-23 Paper Equivalence of Intuitionistic Inductive Definitions and Intuitionistic...10 bytes (13 words) - 05:01, 7 October 2023
- Paper Applying Inductive Logic Programming to Process Mining 2008-03-28 Paper Advances in Intelligent Data Analysis VI 2006-11-01 Paper Inductive Logic Programming...10 bytes (13 words) - 16:34, 6 October 2023
- logic with inductive definitions 2021-12-01 Paper Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules...10 bytes (13 words) - 15:28, 7 December 2023
- Polymorphic Types 2017-04-11 Paper TIP: Tools for Inductive Provers 2016-01-12 Paper TIP: Tons of Inductive Problems 2015-11-20 Paper Hipster: Integrating...10 bytes (13 words) - 19:26, 24 September 2023
- Publication Date of Publication Type Inferring inductive invariants from phase structures 2024-02-16 Paper Precise interprocedural...10 bytes (13 words) - 06:27, 7 October 2023
- \(L\)-language formulas 2008-09-04 Paper https://portal.mardi4nfdi.de/entity/Q3440993 2007-05-29 Paper Checking the satisfiability of formulas represented...10 bytes (15 words) - 02:25, 9 December 2023
- 2012-12-06 Paper Evaluation formulas of Cauchy-Mellin type for certain series involving hyperbolic functions 2012-09-07 Paper Sum formulas for double polylogarithms...10 bytes (13 words) - 13:15, 6 October 2023
- Date of Publication Type FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data 2022-09-30...10 bytes (14 words) - 20:57, 10 December 2023
- capacity analysis 2021-12-08 Paper Efficient encodings of first-order Horn formulas in equational logic 2018-10-18 Paper Efficient parallel and incremental...10 bytes (15 words) - 10:26, 6 October 2023
- 2020-10-14 Paper Mining Chains of Relations 2012-02-09 Paper A Theory of Inductive Query Answering 2010-12-22 Paper Approximating the Minimum Chain Completion...10 bytes (15 words) - 08:02, 12 December 2023
- 1976-01-01 Paper The diagrams of formulas of the intuitionistic propositional calculus 1973-01-01 Paper The diagrams of formulas of the modal propositional S4...10 bytes (13 words) - 07:29, 23 September 2023
- de/entity/Q4486757 2000-06-29 Paper Weil-Petersson geometry and determinant bundles on inductive limits of moduli spaces 1999-11-18 Paper Mathematics in and out of String...10 bytes (14 words) - 22:09, 8 December 2023
- sequence spaces \(ces(p+)\), \(1\le p<\infty \) 2019-07-29 Paper Distance formulas on weighted Banach spaces of analytic functions 2019-07-18 Paper The spectrum...10 bytes (14 words) - 10:16, 8 December 2023
- and implementation 2013-06-06 Paper Remarks on Isomorphisms of Simple Inductive Types 2013-06-06 Paper https://portal.mardi4nfdi.de/entity/Q3001105 2011-05-31...10 bytes (15 words) - 16:17, 9 December 2023
- polynomial degree 2024-11-19 Paper Application of kolmogorov complexity to inductive inference with limited memory 2023-12-08 Paper Quantum complexity for vector...10 bytes (15 words) - 03:34, 9 December 2023
- Three-Dimensional Channel with a Thin Screen 2019-09-18 Paper Distance formulas on weighted Banach spaces of analytic functions 2019-07-18 Paper Underwater...10 bytes (14 words) - 10:17, 8 December 2023
