Search results
From MaRDI portal
- Paper Some models of inductive syntactical synthesis from sample computations 2018-12-11 Paper Automatic learning from positive data and negative counterexamples...10 bytes (14 words) - 09:35, 11 December 2023
- 2013-12-20 Paper Reduction and conversion strategies for the calculus of (co)inductive constructions. I 2013-12-06 Paper Formal metatheory of programming languages...10 bytes (17 words) - 14:07, 12 December 2023
- Publication Type A complete, co-inductive syntactic theory of sequential control and state 2014-09-12 Paper Inductive reasoning about effectful data types 2014-07-21...10 bytes (13 words) - 05:46, 7 October 2023
- Learning from Positive Data and Negative Counterexamples 2012-10-16 Paper Mind change speed-up for learning languages from positive data 2012-08-23 Paper Learning...10 bytes (13 words) - 01:54, 9 December 2023
- Publication Date of Publication Type Co-learning of recursive languages from positive data 2024-07-11 Paper Memory limited inductive inference machines 2022-12-09...10 bytes (16 words) - 03:34, 9 December 2023
- mardi4nfdi.de/entity/Q2723897 2001-07-08 Paper Monotone (co)inductive types and positive fixed-point types 2000-07-24 Paper https://portal.mardi4nfdi.de/entity/Q4263804...10 bytes (13 words) - 04:33, 7 October 2023
- by First Order Abstraction 2011-05-06 Paper Feasible Functions over Co-inductive Data 2010-09-29 Paper On the Completeness of Dynamic Logic 2009-03-31 Paper...10 bytes (15 words) - 23:37, 24 September 2023
- 2012-09-20 Paper A bi-directional refinement algorithm for the calculus of (co)inductive constructions 2012-04-03 Paper Formalising Overlap Algebras in Matita...10 bytes (14 words) - 05:52, 9 December 2023
- Programs and Tree Isomorphism 2013-03-18 Paper Feasible Functions over Co-inductive Data 2010-09-29 Paper...10 bytes (13 words) - 12:03, 6 October 2023
- Languages from Positive Data 2012-07-16 Paper Learning Families of Closed Sets in Matroids 2012-06-15 Paper Learnability of Co-r.e. Classes 2012-06-08...10 bytes (15 words) - 11:36, 28 January 2024
- 2019-11-29 Paper Inductive \(k\)-independent graphs and \(c\)-colorable subgraphs in scheduling: a review 2019-10-08 Paper Polynomial-Time Data Reduction for...10 bytes (15 words) - 15:31, 8 December 2023
- classification of computable languages 2022-11-09 Paper Learnability: Admissible, co-finite, and hypersimple languages 2019-03-29 Paper Effectivity questions for...10 bytes (13 words) - 02:32, 9 December 2023
- 2011-06-03 Paper A Practical Comparative Study Of Data Mining Query Languages 2010-12-22 Paper Inductive Querying with Virtual Mining Views 2010-12-22 Paper...10 bytes (15 words) - 11:04, 7 October 2023
- construction of type theories 2023-03-22 Paper https://portal.mardi4nfdi.de/entity/Q5089009 2022-07-18 Paper Corrigendum to: ``Inductive-data-type systems 2020-04-01...10 bytes (13 words) - 10:03, 6 October 2023
- How inductive inference strategies discover their errors 1995-07-10 Paper On learning multiple concepts in parallel 1995-06-08 Paper Ignoring data may...10 bytes (13 words) - 04:07, 9 December 2023
- Programs in Co-Logic Programming 2016-02-05 Paper Extending Co-logic Programs for Branching-Time Model Checking 2015-11-30 Paper Proving Properties of Co-logic...10 bytes (13 words) - 14:10, 23 September 2023
- Discovery in Inductive Databases 2007-05-02 Paper Constraint-Based Mining and Inductive Databases 2006-11-13 Paper Constraint-Based Mining and Inductive Databases...10 bytes (15 words) - 18:21, 24 September 2023
- Hierarchical co-clustering: off-line and incremental approaches 2014-02-19 Paper Parameter-less co-clustering for star-structured heterogeneous data 2013-08-20...10 bytes (17 words) - 03:08, 7 October 2023
- 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
- Publication Date of Publication Type Coinductive control of inductive data types 2024-11-26 Paper A monoidal Dold-Kan correspondence...10 bytes (13 words) - 16:31, 24 September 2023
