BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
induction
Google induction

Tag #induction

546 papers:

PADLPADL-2020-ShakerinG #mining #using
Whitebox Induction of Default Rules Using High-Utility Itemset Mining (FS, GG), pp. 168–176.
POPLPOPL-2020-HarkKGK #bound #probability #verification
Aiming low is harder: induction for lower bounds in probabilistic program verification (MH, BLK, JG, JPK), p. 28.
CSLCSL-2020-KupkeR #logic
Expressive Logics for Coinductive Predicates (CK, JR), p. 18.
EDMEDM-2019-AusinABC #learning #policy
Leveraging Deep Reinforcement Learning for Pedagogical Policy Induction in an Intelligent Tutoring System (MSA, HA, TB, MC).
DLTDLT-2019-KuperbergPP #algorithm #automaton
Coinductive Algorithms for Büchi Automata (DK, LP, DP), pp. 206–220.
ICFP-2019-VezzosiM0 #programming language
Cubical agda: a dependently typed programming language with univalence and higher inductive types (AV, AM, AA0), p. 29.
ECIRECIR-p2-2019-SyedIGSV #detection #learning #natural language #query
Inductive Transfer Learning for Detection of Well-Formed Natural Language Search Queries (BS, VI, MG0, MS0, VV), pp. 45–52.
KDDKDD-2019-MengY0N #framework #named
HATS: A Hierarchical Sequence-Attention Framework for Inductive Set-of-Sets Embeddings (CM, JY, BR0, JN), pp. 783–792.
PLDIPLDI-2019-ZhuXMJ #framework #learning #synthesis
An inductive synthesis framework for verifiable reinforcement learning (HZ0, ZX, SM, SJ), pp. 686–701.
POPLPOPL-2019-CavalloH #type system
Higher inductive types in cubical computational type theory (EC, RH0), p. 27.
POPLPOPL-2019-KaposiKA
Constructing quotient inductive-inductive types (AK, AK, TA), p. 24.
PPDPPPDP-2019-Kikuchi0S #program transformation #proving #term rewriting #theorem proving
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation (KK, TA0, IS), p. 14.
ICSE-2019-Sivaraman0BK #code search #logic programming
Active inductive logic programming for code search (AS, TZ0, GVdB, MK), pp. 292–303.
ESOPESOP-2019-BasoldKL #horn clause #proving #recursion
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses (HB, EK, YL), pp. 783–813.
CADECADE-2019-RegerV #proving
Induction in Saturation-Based Proof Search (GR, AV), pp. 477–494.
CAVCAV-2019-FeldmanWSS #invariant
Inferring Inductive Invariants from Phase Structures (YMYF, JRW, SS, MS), pp. 405–425.
CAVCAV-2019-GaoKDRSAK #proving
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems (SG, JK, JVD, NR, ASL, NA, SK), pp. 137–154.
CAVCAV-2019-KrishnanVGG
Interpolating Strong Induction (HGVK, YV, VG, AG), pp. 367–385.
FSCDFSCD-2018-KaposiK #syntax
A Syntax for Higher Inductive-Inductive Types (AK, AK), p. 18.
FSCDFSCD-2018-TimanyS #coq #cumulative
Cumulative Inductive Types In Coq (AT, MS), p. 16.
SEFMSEFM-2018-BendikGWC #online
Online Enumeration of All Minimal Inductive Validity Cores (JB, EG, MWW, IC), pp. 189–204.
CIKMCIKM-2018-NimishakaviMGT #framework #multi #streaming
Inductive Framework for Multi-Aspect Streaming Tensor Completion with Side Information (MN, BM, MG, PPT), pp. 307–316.
ICMLICML-2018-GanapathiramanS #modelling #parametricity
Inductive Two-layer Modeling with Parametric Bregman Transfer (VG, ZS, XZ, YY), pp. 1622–1631.
ICMLICML-2018-LiGD #bias #learning #network
Explicit Inductive Bias for Transfer Learning with Convolutional Networks (XL0, YG, FD), pp. 2830–2839.
ICMLICML-2018-ZhangDG #matrix #multi #performance
Fast and Sample Efficient Inductive Matrix Completion via Multi-Phase Procrustes Flow (XZ, SSD, QG), pp. 5751–5760.
KDDKDD-2018-LiuHLH #network #on the #taxonomy
On Interpretation of Network Embedding via Taxonomy Induction (NL, XH, JL, XH), pp. 1812–1820.
POPLPOPL-2018-LampropoulosPP #generative
Generating good generators for inductive relations (LL, ZP, BCP), p. 30.
SASSAS-2018-Zuleger #abstraction #invariant #proving #termination
Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction (FZ), pp. 423–444.
GPCEGPCE-2018-Al-SibahiJDW #refinement #verification
Verification of high-level transformations with inductive refinement types (ASAS, TPJ, ASD, AW), pp. 147–160.
CASECASE-2018-HuaH #concept #learning #logic programming #semantics
Concept Learning in AutomationML with Formal Semantics and Inductive Logic Programming (YH, BH), pp. 1542–1547.
ESOPESOP-2018-MoorePR #verification
Program Verification by Coinduction (BMM, LP, GR), pp. 589–618.
CAVCAV-2018-AbateDKKP #modulo theories #synthesis
Counterexample Guided Inductive Synthesis Modulo Theories (AA, CD, PK, DK, EP), pp. 270–288.
CSLCSL-2018-0001R #infinity #logic #reasoning #transitive
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (LC0, RNSR), p. 16.
IJCARIJCAR-2018-CiobacaL #approach #proving #reachability #term rewriting
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems (SC, DL), pp. 295–311.
CIAACIAA-2017-Pous #algorithm #automaton
CoInductive Automata Algorithms (DP), p. xvii-xviii.
FSCDFSCD-2017-0001TK #approach #confluence #proving
Improving Rewriting Induction Approach for Proving Ground Confluence (TA0, YT, YK), p. 18.
CIKMCIKM-2017-GuptaLHA #sequence #taxonomy #using
Taxonomy Induction Using Hypernym Subsequences (AG, RL, HH, KA), pp. 1329–1338.
KDDKDD-2017-ZhanZ #learning #multi
Inductive Semi-supervised Multi-Label Learning with Co-Training (WZ, MLZ), pp. 1305–1314.
CAVCAV-2017-LeT0C #decidability #logic
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic (QLL, MT, JS0, WNC), pp. 495–517.
CAVCAV-2017-UnnoTS #automation #horn clause
Automating Induction for Solving Horn Clauses (HU0, ST, HS), pp. 571–591.
CSLCSL-2017-Pavaux #functional
Inductive and Functional Types in Ludics (AP), p. 20.
EDMEDM-2016-ChaplotYCK #automation #data-driven #graph
Data-driven Automated Induction of Prerequisite Structure Graphs (DSC, YY, JGC, KRK), pp. 318–323.
FMFM-2016-TaLKC #automation #logic #proving
Automated Mutual Explicit Induction Proof in Separation Logic (QTT, TCL, SCK, WNC), pp. 659–676.
FSCDFSCD-2016-0001T #confluence #proving
Ground Confluence Prover based on Rewriting Induction (TA0, YT), p. 12.
KDDKDD-2016-SiCHRD #matrix
Goal-Directed Inductive Matrix Completion (SS, KYC, CJH, NR, ISD), pp. 1165–1174.
LOPSTRLOPSTR-2016-FarkaKH #recursion
Coinductive Soundness of Corecursive Type Class Resolution (FF, EK, KH), pp. 311–327.
POPLPOPL-2016-AltenkirchK #type system #using
Type theory in type theory using quotient inductive types (TA, AK), pp. 18–29.
POPLPOPL-2016-BrotherstonGKR #logic #model checking
Model checking for symbolic-heap separation logic with inductive predicates (JB, NG, MIK, RR), pp. 84–96.
POPLPOPL-2016-PadonISKS #decidability #invariant
Decidability of inferring inductive invariants (OP, NI, SS, AK, MS), pp. 217–231.
PPDPPPDP-2016-NagaoN #proving
Proving inductive validity of constrained inequalities (TN, NN0), pp. 50–61.
FSEFSE-2016-GhassabaniGW #generative #performance #safety
Efficient generation of inductive validity cores for safety properties (EG, AG, MWW), pp. 314–325.
ESOPESOP-2016-MineBR #algorithm #constraints #invariant #source code #theorem proving
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs (AM, JB, TWR), pp. 560–588.
EDMEDM-2015-DoroudiHAB #comprehension #how #learning #refinement #robust #towards
Towards Understanding How to Leverage Sense-making, Induction/Refinement and Fluency to Improve Robust Learning (SD, KH, VA, EB), pp. 376–379.
RTARTA-2015-EndrullisHHP0 #equation #framework #reasoning
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (JE, HHH, DH, AP, AS), pp. 143–159.
ICFPICFP-2015-DannerLR #functional #semantics
Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.
ICGTICGT-2015-DyckG #invariant
Inductive Invariant Checking with Partial Negative Application Conditions (JD, HG), pp. 237–253.
HCIHIMI-IKD-2015-FujinawaSINHTH #behaviour
Induction of Human Behavior by Presentation of Environmental Acoustics (EF, SS, MI, TN, OH, TT, MH), pp. 582–594.
HCIHIMI-IKD-2015-IwamotoH #using
Induction of a Relaxed State Using a Vibration Stimulus Based on the Respiratory Cycle (NI, HH), pp. 386–395.
CIKMCIKM-2015-ShinCLD #matrix #recommendation
Tumblr Blog Recommendation with Boosted Inductive Matrix Completion (DS, SC, KCL, ISD), pp. 203–212.
MLDMMLDM-2015-GovadaJMS #approach #hybrid #learning #using
Hybrid Approach for Inductive Semi Supervised Learning Using Label Propagation and Support Vector Machine (AG, PJ, SM, SKS), pp. 199–213.
OOPSLAOOPSLA-2015-PolozovG #framework #named #synthesis
FlashMeta: a framework for inductive program synthesis (OP, SG), pp. 107–126.
PLDIPLDI-2015-ChuJT #automation #imperative #proving #source code
Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
POPLPOPL-2015-Sojakova #algebra
Higher Inductive Types as Homotopy-Initial Algebras (KS), pp. 31–42.
PPDPPPDP-2015-Cousot #abstract interpretation #verification
Verification by abstract interpretation, soundness and abstract induction (PC), pp. 1–4.
ICSEICSE-v2-2015-SedelmaierL #education #learning #re-engineering
Active and Inductive Learning in Software Engineering Education (YS, DL), pp. 418–427.
SACSAC-2015-BasgaluppBP #algorithm #evolution #multi
Evolving decision-tree induction algorithms with a multi-objective hyper-heuristic (MPB, RCB, VP), pp. 110–117.
CASECASE-2015-MeddouriDF #analysis #generative #performance #predict #using
Performance analysis of an autonomous induction generator under different operating conditions using predictive control (SM, LAD, LF), pp. 1118–1124.
CGOCGO-2015-OanceaR #analysis #scalability
Scalable conditional induction variables (CIV) analysis (CEO, LR), pp. 213–224.
FoSSaCSFoSSaCS-2015-CloustonBGB #programming #reasoning #recursion
Programming and Reasoning with Guarded Recursion for Coinductive Types (RC, AB, HBG, LB), pp. 407–421.
TACASTACAS-2015-MolnarDVB #incremental #ltl #model checking #proving
Saturation-Based Incremental LTL Model Checking with Inductive Proofs (VM, DD, AV, TB), pp. 643–657.
CADECADE-2015-PientkaC #programming #proving
Inductive Beluga: Programming Proofs (BP, AC), pp. 272–281.
CSLCSL-2015-Berardi #comprehension #higher-order
Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness (SB), pp. 343–358.
VMCAIVMCAI-2015-Cousot
Abstracting Induction by Extrapolation and Interpolation (PC), pp. 19–42.
VMCAIVMCAI-2015-ReynoldsK #smt
Induction for SMT Solvers (AR, VK), pp. 80–98.
JCDLJCDL-2014-MorenoD #clustering #web #word
PageRank-based Word Sense Induction within Web Search Results Clustering (JGM, GD), pp. 465–466.
VLDBVLDB-2015-ZengPP14 #logic programming #named #scalability
QuickFOIL: Scalable Inductive Logic Programming (QZ, JMP, DP), pp. 197–208.
ICALPICALP-v2-2014-BonsangueRABR #algebra
A Coalgebraic Foundation for Coinductive Union Types (MMB, JR, DA, FSdB, JJMMR), pp. 62–73.
FMFM-2014-LeinoM #automation #proving #verification
Co-induction Simply — Automatic Co-inductive Proofs in a Program Verifier (KRML, MM), pp. 382–398.
RTARTA-TLCA-2014-Czajka #confluence #proving #λ-calculus
A Coinductive Confluence Proof for Infinitary λ-Calculus (LC), pp. 164–178.
SEFMSEFM-2014-TatsutaC #logic #verification
Completeness of Separation Logic with Inductive Definitions for Program Verification (MT, WNC), pp. 20–34.
ICGTICGT-2014-JansenGN #execution #generative #pointer #source code #symbolic computation
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.
CHICHI-2014-MikkonenGORK #named #open source
OJAS: open source bi-directional inductive power link (JM, RG, MO, HR, AK), pp. 1049–1058.
HCIHCI-AS-2014-NakanoTA #case study #experience #html #set #user interface
A Preliminary Study of Relation Induction between HTML Tag Set and User Experience (AN, AT, MA), pp. 49–56.
KDDKDD-2014-WangNH #adaptation #learning #scalability
Large-scale adaptive semi-supervised learning via unified inductive and transductive model (DW, FN, HH), pp. 482–491.
KDIRKDIR-2014-Nakano #string
Emergent Induction of L-system Grammar from a String with Deletion-type Transmutation (RN), pp. 397–402.
KDIRKDIR-2014-NielandtMBT #xpath
Wrapper Induction by XPath Alignment (JN, RDM, AB, GDT), pp. 492–500.
KRKR-2014-DeneckerV #principle #revisited #semantics
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (MD, JV).
KRKR-2014-Lin14a #axiom #first-order #higher-order #semantics
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (FL).
ECOOPECOOP-2014-AnconaC #object-oriented #type system
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages (DA, AC), pp. 282–307.
LOPSTRLOPSTR-2014-Balaniuk #synthesis
Drill and Join: A Method for Exact Inductive Program Synthesis (RB), pp. 219–237.
POPLPOPL-2014-LagoSA #functional #higher-order #on the #probability #source code
On coinductive equivalences for higher-order probabilistic functional programs (UDL, DS, MA), pp. 297–308.
PPDPPPDP-2014-AotoS #proving #theorem
Decision Procedures for Proving Inductive Theorems without Induction (TA, SS), pp. 237–248.
ICSEICSE-2014-BocicB #invariant #verification #web
Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.
FoSSaCSFoSSaCS-2014-AntonopoulosGHKO #logic #problem
Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.
CAVCAV-2014-BirgmeierBW #abstraction
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) (JB, ARB, GW), pp. 831–848.
ICLPICLP-J-2014-MantadelisRM #exclamation
Tabling, Rational Terms, and Coinduction Finally Together! (TM, RR, PM), pp. 429–443.
IJCARIJCAR-2014-Blanchette0T #logic
Unified Classical Logic Completeness — A Coinductive Pearl (JCB, AP, DT), pp. 46–60.
LICSLICS-CSL-2014-BonchiPPR
Coinduction up-to in a fibrational setting (FB, DP, DP, JR), p. 9.
LICSLICS-CSL-2014-BrotherstonFPG #logic #satisfiability
A decision procedure for satisfiability in separation logic with inductive predicates (JB, CF, JANP, NG), p. 10.
TFPIETFPIE-2013-Caldwell #functional
Structural Induction Principles for Functional Programmers (JC), pp. 16–26.
LATALATA-2013-RotBR #equivalence #proving
Coinductive Proof Techniques for Language Equivalence (JR, MMB, JJMMR), pp. 480–492.
IFMIFM-2013-IshiiMN #automaton #calculus #hybrid #verification
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus (DI, GM, SN), pp. 139–153.
IFMIFM-2013-MorgensternGS #game studies #incremental #using
Solving Games Using Incremental Induction (AM, MG, KS), pp. 177–191.
TLCATLCA-2013-HancockMGMA #recursion
Small Induction Recursion (PH, CM, NG, LM, TA), pp. 156–172.
ICEISICEIS-v1-2013-FominaEV #concept #modelling
Noise Models in Inductive Concept Formation (MVF, APE, VNV), pp. 444–450.
ICEISICEIS-v1-2013-HuangLCW
A Rule Induction with Hierarchical Decision Attributes (CCH, SHL, ZXC, YPW), pp. 95–102.
MLDMMLDM-2013-OthmanB #reduction
Preceding Rule Induction with Instance Reduction Methods (OO, CHB), pp. 209–218.
OOPSLAOOPSLA-2013-DilligDLM #abduction #generative #invariant
Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.
PADLPADL-2013-Moura #implementation #logic programming #performance
A Portable and Efficient Implementation of Coinductive Logic Programming (PM), pp. 77–92.
POPLPOPL-2013-FarzanKP #data flow #graph
Inductive data flow graphs (AF, ZK, AP), pp. 129–142.
POPLPOPL-2013-HurNDV #power of #proving
The power of parameterization in coinductive proof (CKH, GN, DD, VV), pp. 193–206.
ICSEICSE-2013-GoodenoughWK
Eliminative induction: a basis for arguing system confidence (JBG, CBW, AZK), pp. 1161–1164.
SACSAC-2013-MartinaP #multi #protocol #security #using #verification
Verifying multicast-based security protocols using the inductive method (JEM, LCP), pp. 1824–1829.
DACDAC-2013-CarloYM #3d #delivery #integration #on the #power management
On the potential of 3D integration of inductive DC-DC converter for high-performance power delivery (SC, WY, SM), p. 8.
CADECADE-2013-ClaessenJRS #automation #proving #using
Automating Inductive Proofs Using Theory Exploration (KC, MJ, DR, NS), pp. 392–406.
CAVCAV-2013-KloosMNP #incremental
Incremental, Inductive Coverability (JK, RM, FN, RP), pp. 158–173.
CSLCSL-2013-Leivant #semantics #type system
Global semantic typing for inductive and coinductive computing (DL), pp. 469–483.
ICLPICLP-J-2013-JansenJJ #compilation #prolog
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.
FLOPSFLOPS-2012-SaeedloeiG #constraints #logic programming
Coinductive Constraint Logic Programming (NS, GG), pp. 243–259.
ICMLICML-2012-Nowozin
Improved Information Gain Estimates for Decision Tree Induction (SN), p. 77.
ICPRICPR-2012-AtaY
Searching for the optimal ordering of classes in rule induction (SA, OTY), pp. 1277–1280.
ICPRICPR-2012-LeeKD #learning
Learning action symbols for hierarchical grammar induction (KL, TKK, YD), pp. 3778–3782.
KDDKDD-2012-ZhangH #learning #multi
Inductive multi-task learning with multiple view data (JZ, JH), pp. 543–551.
BXBX-2012-PachecoCH #lens
Delta Lenses over Inductive Types (HP, AC, ZH), pp. 21–37.
ECOOPECOOP-2012-Ancona #object-oriented #semantics
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics (DA), pp. 459–483.
PEPMPEPM-2012-Katayama #functional #programming #source code
An analytical inductive functional programming system that avoids unintended programs (SK), pp. 43–52.
PEPMPEPM-2012-Voigtlander #bidirectional #synthesis
Ideas for connecting inductive program synthesis and bidirectionalization (JV), pp. 39–42.
POPLPOPL-2012-MadhusudanQS #proving #recursion
Recursive proofs for inductive tree data-structures (PM, XQ, AS), pp. 123–136.
DACDAC-2012-Seshia #deduction #named #synthesis #verification
Sciduction: combining induction, deduction, and structure for verification and synthesis (SAS), pp. 356–365.
FoSSaCSFoSSaCS-2012-AtkeyGJJ
Fibrational Induction Meets Effects (RA, NG, BJ, PJ), pp. 42–57.
CAVCAV-2012-Bradley #incremental #verification
IC3 and beyond: Incremental, Inductive Verification (ARB), p. 4.
CAVCAV-2012-HassanBS #incremental #model checking
Incremental, Inductive CTL Model Checking (ZH, ARB, FS), pp. 532–547.
IJCARIJCAR-2012-FalkeK #linear
Rewriting Induction + Linear Arithmetic = Decision Procedure (SF, DK), pp. 241–255.
LICSLICS-2012-Aumann #game studies
Backward induction in games of perfect information (RJA), p. 1.
LICSLICS-2012-AwodeyGS #type system
Inductive Types in Homotopy Type Theory (SA, NG, KS), pp. 95–104.
LICSLICS-2012-Schuster #algebra #case study
Induction in Algebra: A First Case Study (PS), pp. 581–585.
VMCAIVMCAI-2012-Leino #automation #smt
Automating Induction with an SMT Solver (KRML), pp. 315–331.
RTARTA-2011-AotoYC #higher-order #theorem
Natural Inductive Theorems for Higher-Order Rewriting (TA, TY, YC), pp. 107–121.
ICFPICFP-2011-AhnS #combinator #data type #recursion
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences (KYA, TS), pp. 234–246.
GCMGCM-2010-PicardM11 #embedded #graph #problem #representation
Coinductive Graph Representation: the Problem of Embedded Lists (CP, RM).
AGTIVEAGTIVE-2011-FurstMM #graph grammar #heuristic #process
Graph Grammar Induction as a Parser-Controlled Heuristic Search Process (LF, MM, VM), pp. 121–136.
HCIHCI-DDA-2011-YinR #elicitation
An Inductive Inference Model to Elicit Noncompensatory Judgment Strategies (JY, LR), pp. 414–422.
KDDKDD-2011-RashidiC #learning #query
Ask me better questions: active learning queries based on rule induction (PR, DJC), pp. 904–912.
PLDIPLDI-2011-SrivastavaGCF #synthesis
Path-based inductive synthesis for program inversion (SS, SG, SC, JSF), pp. 492–503.
POPLPOPL-2011-HengleinN #axiom #regular expression
Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.
FoSSaCSFoSSaCS-2011-AtkeyJG #question #refinement
When Is a Type Refinement an Inductive Type? (RA, PJ, NG), pp. 72–87.
ICLPICLP-2011-AlrajehKRU #approach #refinement
An Inductive Approach for Modal Transition System Refinement (DA, JK, AR, SU), pp. 106–116.
ICLPICLP-J-2011-CorapiRVPS #design #learning #using
Normative design using inductive learning (DC, AR, MDV, JAP, KS), pp. 783–799.
ICLPICLP-J-2011-Haemmerle11a #constraints #semantics
(Co-)Inductive semantics for Constraint Handling Rules (RH), pp. 593–609.
PASTEPASTE-2010-CalmanZ #analysis #information retrieval #interprocedural
Interprocedural induction variable analysis based on interprocedural SSA form IR (SC, JZ), pp. 37–44.
LATALATA-2010-SaeedloeiG #realtime #verification
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) (NS, GG), pp. 536–548.
IFMIFM-2010-Stratulat #proving
Integrating Implicit Induction Proofs into Certified Proof Environments (SS), pp. 320–335.
CIKMCIKM-2010-CumminsLO #information retrieval #perspective #process
Examining the information retrieval process from an inductive perspective (RC, ML, CO), pp. 89–98.
CIKMCIKM-2010-SotoudehA #detection #framework #using
Partial drift detection using a rule induction framework (DS, AA), pp. 769–778.
ICMLICML-2010-OntanonP #approach #learning #multi
Multiagent Inductive Learning: an Argumentation-based Approach (SO, EP), pp. 839–846.
KDIRKDIR-2010-NakanoY
Number Theory-based Induction of Deterministic Context-free L-system Grammar (RN, NY), pp. 194–199.
OOPSLAOOPSLA-2010-ItzhakyGIS #synthesis
A simple inductive synthesis methodology and its applications (SI, SG, NI, MS), pp. 36–46.
LOPSTRLOPSTR-2010-Seki #on the #proving
On Inductive Proofs by Extended Unfold/Fold Transformation Rules (HS), pp. 117–132.
PEPMPEPM-2010-Hofmann #functional #named #programming
IGOR2 — an analytical inductive functional programming system: tool demo (MH0), pp. 29–32.
SACSAC-2010-BarrosBRCF
Evolutionary model tree induction (RCB, MPB, DDR, ACPLFdC, AAF), pp. 1131–1137.
SACSAC-2010-dAmatoEFFGL #reasoning #semantics #web
Inductive reasoning and semantic web search (Cd, FE, NF, BF, GG, TL), pp. 1446–1447.
SACSAC-2010-FanizzidE #towards
Towards the induction of terminological decision trees (NF, Cd, FE), pp. 1423–1427.
SACSAC-2010-LimaEF #adaptation #information management
An adaptive information extraction system based on wrapper induction with POS tagging (RL, BE, FLGdF), pp. 1815–1820.
DACDAC-2010-ThalmaierNWSBK #invariant #satisfiability
Analyzing k-step induction to compute invariants for SAT-based property checking (MT, MDN, MW, DS, JB, WK), pp. 176–181.
ESOPESOP-2010-NakataU #hoare #logic #semantics
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.
FoSSaCSFoSSaCS-2010-PopescuG #algebra #formal method #incremental #process
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (AP, ELG), pp. 109–127.
CAVCAV-2010-ChatterjeeK #architecture #automation #communication #generative #invariant #modelling
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics (SC, MK), pp. 321–338.
CSLCSL-2010-ForsbergS
Inductive-Inductive Definitions (FNF, AS), pp. 454–468.
CSLCSL-2010-GanzowK #algorithm #higher-order #logic #monad
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures (TG, LK), pp. 366–380.
CSLCSL-2010-GhaniJF #algebra
Fibrational Induction Rules for Initial Algebras (NG, PJ, CF), pp. 336–350.
CSLCSL-2010-OHearn #abduction #deduction #reasoning
Abductive, Inductive and Deductive Reasoning about Resources (PWO), pp. 49–50.
ICLPICLP-2010-CorapiRL10 #abduction #logic programming
Inductive Logic Programming as Abductive Search (DC, AR, EL), pp. 54–63.
ICTSSICTSS-2010-WalkinshawBDP #case study #functional #testing
Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.
IJCARIJCAR-2010-Aderhold #automation #axiom #higher-order #recursion #source code #synthesis
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (MA), pp. 263–277.
IJCARIJCAR-2010-BaeldeMS #proving #theorem proving
Focused Inductive Theorem Proving (DB, DM, ZS), pp. 278–292.
IJCARIJCAR-2010-Kapur #abstraction #invariant
Induction, Invariants, and Abstraction (DK), p. 353.
TAPTAP-2010-Blanchette #algebra #analysis #data type #recursion #relational
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions (JCB), pp. 117–134.
ICDARICDAR-2009-SantoshLR #logic programming #recognition
Inductive Logic Programming for Symbol Recognition (KCS, BL, JPR), pp. 1330–1334.
CSEETCSEET-2009-SkandanS #case study #education #experience #re-engineering
Software Engineering Education at TCS Induction — An Experience Report (SS, MS), pp. 16–19.
RTARTA-2009-KimuraT #calculus
Dual Calculus with Inductive and Coinductive Types (DK, MT), pp. 224–238.
TLCATLCA-2009-SarnatS
Lexicographic Path Induction (JS, CS), pp. 279–293.
CIKMCIKM-2009-ZhengSWG #performance
Efficient record-level wrapper induction (SZ, RS, JRW, CLG), pp. 47–56.
MLDMMLDM-2009-StahlBA #classification #composition #framework #named #parallel
PMCRI: A Parallel Modular Classification Rule Induction Framework (FTS, MAB, MA), pp. 148–162.
SIGIRSIGIR-2009-YangC #automation #feature model #taxonomy
Feature selection for automatic taxonomy induction (HY, JC), pp. 684–685.
ECOOPECOOP-2009-AnconaL #object-oriented #type system
Coinductive Type Systems for Object-Oriented Languages (DA, GL), pp. 2–26.
LOPSTRLOPSTR-2009-MinG #logic programming
Coinductive Logic Programming with Negation (RM, GG), pp. 97–112.
LOPSTRLOPSTR-2009-Seki #on the #proving
On Inductive and Coinductive Proofs via Unfold/Fold Transformations (HS), pp. 82–96.
PPDPPPDP-2009-EastlundF #composition
Making induction manifest in modular ACL2 (CE, MF), pp. 105–116.
SACSAC-2009-BasgaluppBCFR #algorithm #multi #named #search-based
LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction (MPB, RCB, ACPLFdC, AAF, DDR), pp. 1085–1090.
ASPLOSASPLOS-2009-CameronL #architecture #parallel #principle
Architectural support for SWAR text processing with parallel bit streams: the inductive doubling principle (RDC, DL), pp. 337–348.
ESOPESOP-2009-LakinP #functional #higher-order #programming
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.
CADECADE-2009-SwiderskiPGFS #analysis #dependence #proving #termination #theorem proving
Termination Analysis by Dependency Pairs and Inductive Theorem Proving (SS, MP, JG, CF, PSK), pp. 322–338.
CAVCAV-2009-FuhrmannH #bound #on the #proving
On Extending Bounded Proofs to Inductive Proofs (OF, SH), pp. 278–290.
CSLCSL-2009-Berger #proving
From Coinductive Proofs to Exact Real Arithmetic (UB), pp. 132–146.
CSLCSL-2009-HorbachW #query
Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries (MH, CW), pp. 332–347.
LICSLICS-2009-Leroux #invariant #problem #reachability
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (JL), pp. 4–13.
RTARTA-2008-Stratulat
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (SS), pp. 351–365.
FLOPSFLOPS-2008-Julien #integer #using
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (NJ), pp. 48–63.
ICMLICML-2008-RaykarKBDR #automation #feature model #learning #multi
Bayesian multiple instance learning: automatic feature selection and inductive transfer (VCR, BK, JB, MD, RBR), pp. 808–815.
KDDKDD-2008-BlockeelCFGPR #database #mining #prototype
An inductive database prototype based on virtual mining views (HB, TC, ÉF, BG, AP, CR), pp. 1061–1064.
KRKR-2008-MagnussonD #deduction
Deductive Planning with Inductive Loops (MM, PD), pp. 528–534.
LOPSTRLOPSTR-2008-Kitzelmann #functional #programming
Analytical Inductive Functional Programming (EK), pp. 87–102.
POPLPOPL-2008-ChangR #analysis #relational
Relational inductive shape analysis (BYEC, XR), pp. 247–260.
ICSEICSE-2008-SankaranarayananIG #library #logic programming #mining #specification #using
Mining library specifications using inductive logic programming (SS, FI, AG), pp. 131–140.
HPCAHPCA-2008-GuptaRSWB #commit #named
DeCoR: A Delayed Commit and Rollback mechanism for handling inductive noise in processors (MSG, KKR, MDS, GYW, DMB), pp. 381–392.
IJCARIJCAR-2008-BouhoulaJ #automation #automaton
Automated Induction with Constrained Tree Automata (AB, FJ), pp. 539–554.
ICSTSAT-2008-MarienWDB #logic #satisfiability
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (MM, JW, MD, MB), pp. 211–224.
TAPTAP-2008-ClaessenS #proving
Finding Counter Examples in Induction Proofs (KC, HS), pp. 48–65.
ICALPICALP-2007-SimonBMG #logic programming
Co-Logic Programming: Extending Logic Programming with Coinduction (LS, AB, AM, GG), pp. 472–483.
TLCATLCA-2007-Abel #normalisation
Strong Normalization and Equi-(Co)Inductive Types (AA0), pp. 8–22.
ICFPICFP-2007-FilinskiS #data type #reasoning
Inductive reasoning about effectful data types (AF, KS), pp. 97–110.
CIKMCIKM-2007-FanizzidE #clustering #concept #knowledge base #metric #random #semantics
Randomized metric induction and evolutionary conceptual clustering for semantic knowledge bases (NF, Cd, FE), pp. 51–60.
RecSysRecSys-2007-NguyenDB #recommendation #rule-based
Improving new user recommendations with rule-based induction on cold user data (ATN, ND, CB), pp. 121–128.
PADLPADL-2007-LiuP #logic programming
Inductive Logic Programming by Instance Patterns (CL, EP), pp. 230–244.
PLDIPLDI-2007-GuoVA #analysis #recursion #synthesis
Shape analysis with inductive recursion synthesis (BG, NV, DIA), pp. 256–265.
POPLPOPL-2007-StovringL
A complete, co-inductive syntactic theory of sequential control and state (KS, SBL), pp. 161–172.
PPDPPPDP-2007-Gnaedig #termination
Induction for positive almost sure termination (IG), pp. 167–178.
PPDPPPDP-2007-Hamana #data type #higher-order #semantics #type system
Higher-order semantic labelling for inductive datatype systems (MH), pp. 97–108.
PPDPPPDP-2007-LiuP #logic programming
Nonmonotonic inductive logic programming by instance patterns (CL, EP), pp. 187–196.
SASSAS-2007-Brotherston #logic #reasoning
Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.
SACSAC-2007-VarroB #automation #logic programming #model transformation #using
Automating model transformation by example using inductive logic programming (DV, ZB), pp. 978–984.
DATEDATE-2007-CabodiNQ #invariant #model checking
Boosting the role of inductive invariants in model checking (GC, SN, SQ), pp. 1319–1324.
SMTSMT-J-2006-BarrettST #data type #formal method
An Abstract Decision Procedure for a Theory of Inductive Data Types (CB, IS, CT), pp. 21–46.
CSLCSL-2007-BlanquiJS #calculus
Building Decision Procedures in the Calculus of Inductive Constructions (FB, JPJ, PYS), pp. 328–342.
ICLPICLP-2007-GuptaBMSM #logic programming
Coinductive Logic Programming and Its Applications (GG, AB, RM, LS, AM), pp. 27–44.
LICSLICS-2007-BrotherstonS #calculus #infinity
Complete Sequent Calculi for Induction and Infinite Descent (JB, AS), pp. 51–62.
RTARTA-2006-Aoto #equation
Dealing with Non-orientable Equations in Rewriting Induction (TA), pp. 242–256.
AIIDEAIIDE-2006-McQuigganLL #approach #interactive #predict
Predicting User Physiological Response for Interactive Environments: An Inductive Approach (SWM, SL, JCL), pp. 60–65.
SIGIRSIGIR-2006-Forman #concept
Tackling concept drift by temporal inductive transfer (GF), pp. 252–259.
SACSAC-2006-HorvathHW #effectiveness #graph
Effective rule induction from labeled graphs (TH, SH, SW), pp. 611–616.
SACSAC-2006-NikovskiK #personalisation #recommendation
Induction of compact decision trees for personalized recommendation (DN, VK), pp. 575–581.
DACDAC-2006-VimjamH #identification #performance #satisfiability
Fast illegal state identification for improving SAT-based induction (VCV, MSH), pp. 241–246.
DATEDATE-2006-LaMeresK #encoding
Bus stuttering: an encoding technique to reduce inductive noise in off-chip data transmission (BJL, SPK), pp. 522–527.
ESOPESOP-2006-Leroy #semantics
Coinductive Big-Step Operational Semantics (XL), pp. 54–68.
ICLPICLP-2006-SimonMBG #logic programming
Coinductive Logic Programming (LS, AM, AB, GG), pp. 330–345.
LICSLICS-2006-Kozen #probability #process #proving
Coinductive Proof Principles for Stochastic Processes (DK), pp. 359–366.
SEFMSEFM-2005-OlssonW #correctness #imperative #proving #source code
Customised Induction Rules for Proving Correctness of Imperative Programs (OO, AW), pp. 180–189.
TLCATLCA-2005-Bertot
Filters on CoInductive Streams, an Application to Eratosthenes’ Sieve (YB), pp. 102–115.
ICMLICML-2005-BridewellALT #process
Reducing overfitting in process model induction (WB, NBA, PL, LT), pp. 81–88.
ICMLICML-2005-ZhuL #graph #learning #modelling #scalability
Harmonic mixtures: combining mixture models and graph-based methods for inductive and scalable semi-supervised learning (XZ, JDL), pp. 1052–1059.
SIGIRSIGIR-2005-UdaniDDS #using #web
Noun sense induction using web search results (GU, SD, AD, TS), pp. 657–658.
SACSAC-2005-FalcoTCP #approach #programming #search-based
Inductive inference of chaotic series by Genetic Programming: a Solomonoff-based approach (IDF, ET, ADC, AP), pp. 957–958.
DATEDATE-2005-BhaduriV #higher-order #metric
Inductive and Capacitive Coupling Aware Routing Methodology Driven by a Higher Order RLCK Moment Metric (AB, RV), pp. 922–923.
DATEDATE-2005-LaMeresK #encoding
Encoding-Based Minimization of Inductive Cross-Talk for Off-Chip Data Transmission (BJL, SPK), pp. 1318–1323.
FASEFASE-2005-HausmannMS #higher-order
Iterative Circular Coinduction for CoCasl in Isabelle/HOL (DH, TM, LS), pp. 341–356.
CAVCAV-2005-Kaivola #component #invariant #simulation #verification
Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.
CAVCAV-2005-LoginovRS #abstraction #learning #refinement
Abstraction Refinement via Inductive Learning (AL, TWR, SS), pp. 519–533.
CSLCSL-2005-BarrasG #calculus #on the
On the Role of Type Decorations in the Calculus of Inductive Constructions (BB, BG), pp. 151–166.
ICLPICLP-2005-PelovT #satisfiability
Reducing Inductive Definitions to Propositional Satisfiability (NP, ET), pp. 221–234.
ICALPICALP-2004-AbbottAG #representation #using
Representing Nested Inductive Types Using W-Types (MA, TA, NG), pp. 59–71.
RTARTA-2004-AotoYT #higher-order #theorem
Inductive Theorems for Higher-Order Rewriting (TA, TY, YT), pp. 269–284.
ICMLICML-2004-EsmeirM #algorithm
Lookahead-based algorithms for anytime induction of decision trees (SE, SM).
ICMLICML-2004-JinL #robust
Robust feature induction for support vector machines (RJ, HL).
KRKR-2004-DeneckerT #calculus
Inductive Situation Calculus (MD, ET), pp. 545–553.
KRKR-2004-Kern-IsbernerF #information management #representation
Knowledge Discovery by Reversing Inductive Knowledge Representation (GKI, JF), pp. 34–44.
KRKR-2004-RaedtR #logic programming
Condensed Representations for Inductive Logic Programming (LDR, JR), pp. 438–446.
ICSEICSE-2004-HaRCRD #case study #composition #experience #proving #realtime
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.
SACSAC-2004-MassonRB #database #optimisation #query #set #towards
Optimizing subset queries: a step towards SQL-based inductive databases for itemsets (CM, CR, JFB), pp. 535–539.
CSLCSL-2004-Cordon-FrancoFM #recursion
Provably Total Primitive Recursive Functions: Theories with Induction (ACF, AFM, FFLM), pp. 355–369.
IJCARIJCAR-2004-SteelBM #protocol
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures (GS, AB, MM), pp. 137–151.
LICSLICS-2004-Berger
A Computational Interpretation of Open Induction (UB), p. 326.
TPDLECDL-2003-FerilliEBM #automation #classification
Automatic Induction of Rules for Classification and Interpretation of Cultural Heritage Material (SF, FE, TMAB, NDM), pp. 152–163.
RTARTA-2003-BartheS #framework #platform #validation
Validation of the JavaCard Platform with Implicit Induction Techniques (GB, SS), pp. 337–351.
RTARTA-2003-UrsoK
“Term Partition” for Mathematical Induction (PU, EK), pp. 352–366.
TLCATLCA-2003-Blanqui #algebra #calculus
Inductive Types in the Calculus of Algebraic Constructions (FB), pp. 46–59.
ICEISICEIS-v2-2003-MorenoJCR #fuzzy
Induction of Temporal Fuzzy Chains (JMG, LJ, JJCS, LRB), pp. 308–315.
ICMLICML-2003-LangleyGBS #modelling #process #robust
Robust Induction of Process Models from Time-Series Data (PL, DG, SDB, KS), pp. 432–439.
ICMLICML-2003-YamadaSYT #data-driven #database #standard
Decision-tree Induction from Time-series Data Based on a Standard-example Split Test (YY, ES, HY, KT), pp. 840–847.
SEKESEKE-2003-ChenJ #fuzzy #information management #learning #multi #named
MFILM: a multi-dimensional fuzzy inductive learning method for knowledge acquisition (YTC, BJ), pp. 445–449.
LOPSTRLOPSTR-2003-AlexandreBD #proving #synthesis
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures (FA, KB, MD), pp. 20–33.
LOPSTRLOPSTR-2003-LehmannL #generative #proving #theorem proving #using
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce (HL, ML), pp. 1–19.
DATEDATE-2003-WedlerSK #encoding #using
Using RTL Statespace Information and State Encoding for Induction Based Property Checking (MW, DS, WK), pp. 11156–11157.
FoSSaCSFoSSaCS-2003-SprengerD #calculus #on the #proving #reasoning #μ-calculus
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the μ-Calculus (CS, MD), pp. 425–440.
CADECADE-2003-AvenhausKSW #exclamation #how #theorem
How to Prove Inductive Theorems? QUODLIBET! (JA, UK, TSS, CPW), pp. 328–333.
CADECADE-2003-DeplagneKKN #equation #proving #theorem
Proof Search and Proof Check for Equational and Inductive Theorems (ED, CK, HK, QHN), pp. 297–316.
CADECADE-2003-GieslK #equation
Deciding Inductive Validity of Equations (JG, DK), pp. 17–31.
CAVCAV-2003-MouraRS #bound #model checking #verification
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A) (LMdM, HR, MS), pp. 14–26.
FLOPSFLOPS-2002-BarbosaO #calculus #process
Coinductive Interpreters for Process Calculi (LSB, JNO), pp. 183–197.
CIKMCIKM-2002-LiuYC #bias #classification
Boosting to correct inductive bias in text classification (YL, YY, JGC), pp. 348–355.
ICMLICML-2002-AlphonseM #logic programming #set
Feature Subset Selection and Inductive Logic Programming (ÉA, SM), pp. 11–18.
ICMLICML-2002-GambergerL #case study
Descriptive Induction through Subgroup Discovery: A Case Study in a Medical Domain (DG, NL), pp. 163–170.
ICMLICML-2002-TakechiS
Finding an Optimal Gain-Ratio Subset-Split Test for a Set-Valued Attribute in Decision Tree Induction (FT, ES), pp. 618–625.
KRKR-2002-Gardenfors #concept #higher-order #similarity
The Role of Higher Order Similarity in Induction and Concept Formation (PG), p. 629.
PEPMPEPM-2002-BartheU #continuation
CPS translating inductive and coinductive types (GB, TU), pp. 131–142.
PPDPPPDP-2002-FissoreGK #proving #termination
System Presentation — CARIBOO: An induction based proof tool for termination with strategies (OF, IG, HK), pp. 62–73.
SACSAC-2002-Pillay #algorithm #programming #search-based #using
Using genetic programming for the induction of novice procedural programming solution algorithms (NP), pp. 578–583.
PDPPDP-2002-FolinoPS #parallel #programming #search-based
Improving Induction Decision Trees with Parallel Genetic Programming (GF, CP, GS), pp. 181–18.
ISSTAISSTA-2002-Cheng #design #modelling #refactoring #verification
Refactoring design models for inductive verification (YPC), pp. 164–168.
ICDARICDAR-2001-Amin #logic programming #recognition
Recognition of Hand-Printed Characters Based on Structural Description and Inductive Logic Programming (AA), pp. 333–337.
TLCATLCA-2001-Geuvers #dependent type #higher-order #type system
Induction Is Not Derivable in Second Order Dependent Type Theory (HG), pp. 166–181.
TLCATLCA-2001-Matthes #higher-order #λ-calculus #μ-calculus
Parigot’s Second Order λμ-Calculus and Inductive Types (RM), pp. 329–343.
GT-VMTGT-VMT-2001-Pfaltz #approach #concept #empirical #graph
Transformations of Concept Graphs: An Approach to Empirical Induction (JLP), pp. 318–324.
CIKMCIKM-2001-JeongH #xml
Induction of Integrated View for XML Data with Heterogeneous DTDs (EJ, CNH), pp. 151–158.
KDDKDD-2001-LinP #natural language #semantics
Induction of semantic classes from natural language text (DL, PP), pp. 317–322.
MLDMMLDM-2001-MalerbaELL #first-order #recognition
First-Order Rule Induction for the Recognition of Morphological Patterns in Topographic Maps (DM, FE, AL, FAL), pp. 88–101.
CCCC-2001-StoutchininAGDJD #pointer
Speculative Prefetching of Induction Pointers (AS, JNA, GRG, JCD, SJ, AD), pp. 289–303.
DACDAC-2001-MassoudKMW #analysis #difference #modelling
Modeling and Analysis of Differential Signaling for Minimizing Inductive Cross-Talk (YM, JK, DM, JW), pp. 804–809.
FoSSaCSFoSSaCS-2001-RocklHB #formal method #higher-order #syntax #π-calculus
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.
CAVCAV-2001-AronsPRXZ #automation #verification
Parameterized Verification with Automatically Computed Inductive Assertions (TA, AP, SR, JX, LDZ), pp. 221–234.
CAVCAV-2001-RoychoudhuryR #automation #protocol #verification
Automated Inductive Verification of Parameterized Protocols (AR, IVR), pp. 25–37.
CSLCSL-2001-Martin
A Principle of Induction (KM), pp. 458–468.
CSLCSL-2001-Matthes #rank
Monotone Inductive and Coinductive Constructors of Rank 2 (RM), pp. 600–614.
IJCARIJCAR-2001-GieslK #decidability #theorem
Decidable Classes of Inductive Theorems (JG, DK), pp. 469–484.
LICSLICS-2001-Jeffrey #lts #type system
A Symbolic Labelled Transition System for Coinductive Subtyping of Fμ≤ Types (AJ), pp. 323–333.
ICMLICML-2000-WeissI #lightweight
Lightweight Rule Induction (SMW, NI), pp. 1135–1142.
ICMLICML-2000-ZupanBBD #concept #semistructured data
Induction of Concept Hierarchies from Noisy Data (BZ, IB, MB, JD), pp. 1199–1206.
ASEASE-2000-GoguenLR
Circular Coinductive Rewriting (JAG, KL, GR), pp. 123–132.
FoSSaCSFoSSaCS-2000-BartheR #calculus #type system
Constructor Subtyping in the Calculus of Inductive Constructions (GB, FvR), pp. 17–34.
WRLAWRLA-2000-GoguenLR #behaviour
Behavioral and Coinductive Rewriting (JAG, KL, GR), pp. 2–23.
CADECADE-2000-KapurS
Extending Decision Procedures with Induction Schemes (DK, MS), pp. 324–345.
CAVCAV-2000-AyariBK #automaton
Decision Procedures for Inductive Boolean Functions Based on Alternating Automata (AA, DAB, FK), pp. 170–185.
CAVCAV-2000-McMillanQS #composition #model checking
Induction in Compositional Model Checking (KLM, SQ, JBS), pp. 312–327.
ICLPCL-2000-BoultonS #automation #recursion
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions (RJB, KS), pp. 629–643.
ICLPCL-2000-Denecker #logic
Extending Classical Logic with Inductive Definitions (MD), pp. 703–717.
CSLCSL-2000-Jaume #logic programming
Logic Programming and Co-inductive Definitions (MJ), pp. 343–355.
DLTDLT-1999-LopezN
Substitutions from Rauzy induction (LML, PN), pp. 200–209.
ICALPICALP-1999-Miculan #calculus #formal method #lazy evaluation #proving #μ-calculus
Formalizing a Lazy Substitution Proof System for μ-calculus in the Calculus of Inductive Constructions (MM), pp. 554–564.
ICALPICALP-1999-Rutten #automaton
Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously (JJMMR), pp. 645–654.
HCIHCI-EI-1999-MahanMEHD
Countermeasures Against Stress: Dynamic Cognitive Induction (RPM, CJM, LRE, EH, PTD), pp. 691–695.
ICMLICML-1999-BrodieD #learning #using
Learning to Ride a Bicycle using Iterated Phantom Induction (MB, GD), pp. 57–66.
ICMLICML-1999-PalhangS #learning #logic programming
Learning Discriminatory and Descriptive Rules by an Inductive Logic Programming System (MP, AS), pp. 288–297.
ICMLICML-1999-Pompe #recursion
Noise-Tolerant Recursive Best-First Induction (UP), pp. 315–324.
ICMLICML-1999-WuBCS #scalability
Large Margin Trees for Induction and Transduction (DW, KPB, NC, JST), pp. 474–483.
KDDKDD-1999-Cerquides
Applying General Bayesian Techniques to Improve TAN Induction (JC), pp. 292–296.
SACSAC-1999-Taylor #finite #pattern matching #using
Exon/Intron Discrimination Using the Finite Induction Pattern Matching Technique (PAT), pp. 41–45.
FoSSaCSFoSSaCS-1999-Lenisa #bisimulation #equivalence #logic
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects (ML), pp. 243–257.
CADECADE-1999-HutterB #contest #design #proving #theorem proving
The Design of the CADE-16 Inductive Theorem Prover Contest (DH, AB), pp. 374–377.
CAVCAV-1999-MannaS #diagrams #verification
Verification of Parameterized Systems by Dynamic Induction on Diagrams (ZM, HS), pp. 25–41.
CSLCSL-1999-AltenkirchR #monad #using
Monadic Presentations of λ Terms Using Generalized Inductive Types (TA, BR), pp. 453–468.
ICLPICLP-1999-ProiettiP
Transforming Inductive Definitions (MP, AP), pp. 486–499.
ITiCSEITiCSE-1998-RosenSB #student
An augmented induction for HND computer studies students through an early integrated, inter-disciplinary assignment (CR, DS, JIB), pp. 219–222.
ICALPICALP-1998-Lugiez #automaton #proving #theorem proving
A Good Class of Tree Automata and Application to Inductive Theorem Proving (DL), pp. 409–420.
CIKMCIKM-1998-DumaisPHS #algorithm #categorisation #learning
Inductive Learning Algorithms and Representations for Text Categorization (STD, JCP, DH, MS), pp. 148–155.
ICMLICML-1998-BlockeelRR #clustering #top-down
Top-Down Induction of Clustering Trees (HB, LDR, JR), pp. 55–63.
ICMLICML-1998-ProvostFK #algorithm #estimation
The Case against Accuracy Estimation for Comparing Induction Algorithms (FJP, TF, RK), pp. 445–453.
ICPRICPR-1998-SanchezPF #approach
A Voronoi-diagram-based approach to oblique decision tree induction (JSS, FP, FJF), pp. 542–544.
LOPSTRLOPSTR-1998-HamfeltN #combinator #composition #logic programming #source code #synthesis
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes (AH, JFN), pp. 143–158.
WRLAWRLA-1998-Jouannaud #calculus #equation #logic
Membership equational logic, calculus of inductive instructions, and rewrite logic (JPJ), pp. 388–393.
WRLAWRLA-1998-MatsumotoF #automation #behaviour #testing #towards #verification
Test set coinduction — Toward automated verification of behavioural properties (MM, KF), pp. 242–262.
CADECADE-1998-BrauburgerG #analysis #evaluation #termination
Termination Analysis by Inductive Evaluation (JB, JG), pp. 254–269.
CADECADE-1998-Crary #fixpoint
Admissibility of Fixpoint Induction over Partial Types (KC), pp. 270–285.
CAVCAV-1998-BellaP
Mechanising BAN Kerberos by the Inductive Method (GB, LCP), pp. 416–427.
CSLCSL-1998-Altenkirch #logic
Logical Relations and Inductive/Coinductive Types (TA), pp. 343–354.
ICLPJICSLP-1998-Lavrac #information management #logic programming #relational
Inductive Logic Programming for Relational Knowledge Discovery (NL), pp. 7–24.
LICSLICS-1998-FernandezM #equivalence #interactive
Coinductive Techniques for Operational Equivalence of Interaction Nets (MF, IM), pp. 321–332.
LICSLICS-1998-PavlovicE #calculus
Calculus in Coinductive Form (DP, MHE), pp. 408–417.
RTARTA-1997-KuhlerW #data type #equation #proving #specification #theorem proving
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving (UK, CPW), pp. 38–52.
TLCATLCA-1997-BrandtH #axiom #recursion #similarity #type system
Coinductive Axiomatization of Recursive Type Equality and Subtyping (MB, FH), pp. 63–81.
TLCATLCA-1997-Lenisa #semantics #λ-calculus
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for λ-calculi (ML), pp. 248–266.
ICFPICFP-1997-Ostvold #functional #recursion #source code #synthesis
Inductive Synthesis of Recursive Functional Programs (Poster Abstract) (BMØ), p. 323.
HCIHCI-SEC-1997-Yoshida #graph #modelling
User Modeling by Graph-Based Induction (KY), pp. 23–26.
ICMLICML-1997-CohenD #case study #comparative #fault #logic programming #predict
A Comparative Study of Inductive Logic Programming Methods for Software Fault Prediction (WWC, PTD), pp. 66–74.
ICMLICML-1997-Decatur #classification #learning
PAC Learning with Constant-Partition Classification Noise and Applications to Decision Tree Induction (SED), pp. 83–91.
ICMLICML-1997-VilaltaR #classification #multi
Integrating Feature Construction with Multiple Classifiers in Decision Tree Induction (RV, LAR), pp. 394–402.
KDDKDD-1997-ProvostK #algorithm #overview #perspective #scalability
Scaling Up Inductive Algorithms: An Overview (FJP, VK), pp. 239–242.
LOPSTRLOPSTR-1997-SemeraroEMFF #datalog #framework #incremental #logic #synthesis
A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories (GS, FE, DM, NF, SF), pp. 300–321.
TAPSOFTTAPSOFT-1997-Jacobs #algebra #behaviour #correctness #proving #specification
Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs (BJ0), pp. 787–802.
TAPSOFTTAPSOFT-1997-Lenisa #proving #λ-calculus
A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi (ML), pp. 309–320.
CADECADE-1997-DennisBG #bisimulation #proving #using
Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs (LAD, AB, IG), pp. 276–290.
CADECADE-1997-Matthews #implementation #using
A Practical Implementation of Simple Consequence Relations Using Inductive Definitions (SM), pp. 306–320.
ICLPILPS-1997-Mannila #data mining #database #mining
Inductive Databases and Condensed Representations for Data Mining (HM), pp. 21–30.
LICSLICS-1997-BouhoulaJ #automation
Automata-Driven Automated Induction (AB, JPJ), pp. 14–25.
LICSLICS-1997-EscardoS #algebra #recursion
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras (MHE, TS), pp. 376–386.
LICSLICS-1997-Rathke #fixpoint #process
Unique Fixpoint Induction for Value-Passing Processes (JR), pp. 140–148.
RTARTA-1996-BerregebBR #commutative #named #proving
SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories (NB, AB, MR), pp. 428–431.
ICFPICFP-1996-Howard
Inductive, Coinductive, and Pointed Types (BTH), pp. 102–109.
KDDAKDDM-1996-Dzeroski #database #information management #logic programming
Inductive Logic Programming and Knowledge Discovery in Databases (SD), pp. 117–152.
KDDAKDDM-1996-HanF #data mining #mining
Attribute-Oriented Induction in data Mining (JH, YF), pp. 399–421.
KDDAKDDM-1996-HsuK #learning #optimisation #query #semantics #using
Using Inductive Learning To Generate Rules for Semantic Query Optimization (CNH, CAK), pp. 425–445.
KDDAKDDM-1996-SimoudisLK #data mining #deduction #mining #reasoning
Integrating Inductive and Deductive Reasoning for Data Mining (ES, BL, RK), pp. 353–373.
ICMLICML-1996-Bostrom #logic programming #regular expression #source code
Theory-Guideed Induction of Logic Programs by Inference of Regular Languages (HB), pp. 46–53.
ICMLICML-1996-DonohoR #using
Constructive Induction Using Fragmentary Knowledge (SKD, LAR), pp. 113–121.
KDDKDD-1996-Domingos #linear
Linear-Time Rule Induction (PMD), pp. 96–101.
KDDKDD-1996-Domingos96a #performance
Efficient Specific-to-General Rule Induction (PMD), pp. 319–322.
KDDKDD-1996-FultonKSW #data mining #interactive #mining #towards
Local Induction of Decision Trees: Towards Interactive Data Mining (TF, SK, SS, DLW), pp. 14–19.
KDDKDD-1996-Langley
Induction of Condensed Determinations (PL), pp. 327–330.
KDDKDD-1996-TeranoI #information management #interactive #learning #using
Interactive Knowledge Discovery from Marketing Questionnaire Using Simulated Breeding and Inductive Learning Methods (TT, YI), pp. 279–282.
KDDKDD-1996-UrpaniWS #named
RITIO — Rule Induction Two In One (DU, XW, JS), pp. 339–342.
CADECADE-1996-BasinM
Structuring Metatheory on Inductive Definitions (DAB, SM), pp. 171–185.
CADECADE-1996-IrelandB #proving
Extensions to a Generalization Critic for Inductive Proof (AI, AB), pp. 47–61.
CADECADE-1996-KapurS #automation
Lemma Discovery in Automated Induction (DK, MS), pp. 538–552.
CAVCAV-1996-BerregebBR #automation #commutative #verification
Automated Verification by Induction with Associative-Commutative Operators (NB, AB, MR), pp. 220–231.
CSLCSL-1996-Setzer #decidability
Inductive Definitions with Decidable Atomic Formulas (AS), pp. 414–430.
ICMLICML-1995-Benson #learning #modelling
Inductive Learning of Reactive Action Models (SB), pp. 47–54.
ICMLICML-1995-Cohen #effectiveness #performance
Fast Effective Rule Induction (WWC), pp. 115–123.
ICMLICML-1995-DonohoR #lessons learnt
Lessons from Theory Revision Applied to Constructive Induction (SKD, LAR), pp. 185–193.
ICMLICML-1995-SinghP #algorithm #classification #comparison
A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers (MS, GMP), pp. 497–505.
ICMLICML-1995-StreetMW #approach #learning #predict
An Inductive Learning Approach to Prognostic Prediction (WNS, OLM, WHW), pp. 522–530.
KDDKDD-1995-Gaines
Structured and Unstructured Induction with EDAGs (BRG), pp. 124–129.
KDDKDD-1995-HwangF #algorithm #performance
Efficient Algorithms for Attribute-Oriented Induction (HYH, AWCF), pp. 168–173.
KDDKDD-1995-MurthyS #effectiveness #heuristic #how #question
Decision Tree Induction: How Effective is the Greedy Heuristic? (SKM, SS), pp. 222–227.
KDDKDD-1995-Siebes #query
Data Surveying: Foundations of an Inductive Query Language (AS), pp. 269–274.
KDDKDD-1995-TsumotoT #automation #multi #recursion #statistics #testing
Automated Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods and Multiple Statistical Testing (ST, HT), pp. 312–317.
KDDKDD-1995-WuM #fuzzy
Fuzzy Interpretation of Induction Results (XW, PM), pp. 325–330.
LOPSTRLOPSTR-1995-ParkesW #horn clause #logic programming #synthesis
Logic Program Synthesis by Induction over Horn Clauses (AJP, GAW), p. 170.
PEPMPEPM-1995-Deutsch #abstract interpretation #data type #modelling #pointer #semantics
Semantic models and abstract interpretation techniques for inductive data structures and pointers (AD), pp. 226–229.
ASF+SDFASF+SDF-1995-NaidichD #asf+sdf #automation #proving #specification
Specifying an Automated Induction Proof Procedure in ASF+SDF (DN, TBD), pp. 233–254.
TAPSOFTTAPSOFT-1995-Geser #proving
Mechanized Inductive Proof of Properties of a Simple Code Optimizer (AG), pp. 605–619.
CAVCAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #rule-based #semantics
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.
ICMLICML-1994-KietzL #algorithm #logic programming #performance
An Efficient Subsumption Algorithm for Inductive Logic Programming (JUK, ML), pp. 130–138.
ICMLICML-1994-Muggleton #logic programming
Bayesian Inductive Logic Programming (SM), pp. 371–379.
ICMLICML-1994-Sebag #algorithm #constraints
A Constraint-based Induction Algorithm in FOL (MS), pp. 275–283.
ICMLICML-1994-Utgoff #algorithm #incremental
An Improved Algorithm for Incremental Induction of Decision Trees (PEU), pp. 318–325.
ICMLICML-1994-ZelleMK #bottom-up #logic programming #top-down
Combining Top-down and Bottom-up Techniques in Inductive Logic Programming (JMZ, RJM, JBK), pp. 343–351.
KDDKDD-1994-AronisP #machine learning #relational
Efficiently Constructing Relational Features from Background Knowledge for Inductive Machine Learning (JMA, FJP), pp. 347–358.
KDDKDD-1994-HsuK #optimisation #query #semantics
Rule Induction for Semantic Query Optimization (CNH, CAK), pp. 311–322.
KDDKDD-1994-ShenMOZ #database #deduction #learning #using
Using Metagueries to Integrate Inductive Learning and Deductive Database Technology (WMS, BGM, KO, CZ), pp. 335–346.
KDDKDD-1994-SimoudisLK #database #deduction #mining #reasoning
Integrating Inductive and Deductive Reasoning for Database Mining (ES, BL, RK), pp. 37–48.
KDDKDD-1994-ZuckerCTR #bias #named
DICE: A Discovery Environment Integrating Inductive Bias (JDZ, VC, JT, GR), pp. 275–286.
PPDPALP-1994-Bouhoula #proving
Sufficient Completeness and Parameterized Proofs by Induction (AB), pp. 23–40.
LOPSTRLOPSTR-1994-FlenerP #on the #reasoning #synthesis #using
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects (PF, LP), pp. 69–87.
PEPMPEPM-1994-FegarasSZ #multi #source code
Improving Programs Which Recurse over Multiple Inductive Structures (LF, TS, TZ), pp. 21–32.
CADECADE-1994-Bouhoula #named #proving
SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs (AB), pp. 836–840.
CADECADE-1994-BronsardRH #order #using
Induction using Term Orderings (FB, USR, RWH), pp. 102–117.
CADECADE-1994-ChazarainK #proving
Mechanizable Inductive Proofs for a Class of Forall Exists Formulas (JC, EK), pp. 118–132.
CADECADE-1994-Eriksson #calculus #editing #interactive #named
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions (LHE), pp. 821–825.
CADECADE-1994-Hutter #order #proving #synthesis
Synthesis of Induction Orderings for Existence Proofs (DH), pp. 29–41.
CADECADE-1994-Paulson #approach #implementation
A Fixedpoint Approach to Implementing (Co)Inductive Definitions (LCP), pp. 148–161.
CADECADE-1994-Protzen #generative #lazy evaluation
Lazy Generation of Induction Hypotheses (MP), pp. 42–56.
CADECADE-1994-WirthG #equation #on the
On Notions of Inductive Validity for First-Oder Equational Clauses (CPW, BG), pp. 162–176.
ICDARICDAR-1993-Nagaishi #identification #recognition
Identifying ability of a recognition method based on the field of induction (MN), pp. 926–929.
TLCATLCA-1993-Paulin-Mohring #coq
Inductive Definitions in the system Coq — Rules and Properties (CPM), pp. 328–345.
ICMLICML-1993-Caruana #bias #knowledge-based #learning #multi
Multitask Learning: A Knowledge-Based Source of Inductive Bias (RC), pp. 41–48.
ICMLICML-1993-ClarkM #learning #modelling #using
Using Qualitative Models to Guide Inductive Learning (PC, SM), pp. 49–56.
ICMLICML-1993-Mladenic #combinator #concept #learning #optimisation
Combinatorial Optimization in Inductive Concept Learning (DM), pp. 205–211.
ICMLICML-1993-MusickCR #database #scalability
Decision Theoretic Subsampling for Induction on Large Databases (RM, JC, SJR), pp. 212–219.
ICMLICML-1993-Rymon #problem
An SE-tree based Characterization of the Induction Problem (RR), pp. 268–275.
SEKESEKE-1993-MineauGM #clustering #concept #modelling
Induction of Generic Data Models by Conceptual Clustering (GWM, RG, RM), pp. 554–564.
LOPSTRLOPSTR-1993-BergadanoG #logic programming #source code #synthesis
Inductive Synthesis of Logic Programs and Inductive Logic Programming (FB, DG), pp. 45–56.
LOPSTRLOPSTR-1993-Grobelnik #prolog #source code
Induction of Prolog Programs with Markus (MG), pp. 57–63.
PEPMPEPM-1993-Lawall #partial evaluation #proving #using
Proofs by Structural Induction using Partial Evaluation (JLL), pp. 155–166.
TAPSOFTTAPSOFT-1993-Becker #confluence #equation #proving #specification
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications (KB0), pp. 46–60.
CAVCAV-1993-GuptaF #parametricity #representation #using
Parametric Circuit Representation Using Inductive Boolean Functions (AG, ALF), pp. 15–28.
ICLPICLP-1993-McCarty #higher-order #logic #prolog #proving #source code
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic (LTM), pp. 44–63.
ICLPILPS-1993-Raedt #logic programming
A Brief Introduction to Inductive Logic Programming (LDR), pp. 45–51.
CIKMCIKM-1992-KeenR #approximate #database #dependence
Inductive Dependencies and Approximate Databases (DK, AR), pp. 98–114.
ICMLML-1992-BalaMW
The Principal Axes Method for Constructive Induction (JWB, RSM, JW), pp. 20–29.
ICMLML-1992-Carpineto #consistency #performance
Trading Off Consistency and Efficiency in version-Space Induction (CC), pp. 43–48.
ICMLML-1992-FengM #higher-order #logic #towards
Towards Inductive Generalization in Higher Order Logic (CF, SM), pp. 154–162.
ICMLML-1992-IbaL
Induction of One-Level Decision Trees (WI, PL), pp. 233–240.
ICMLML-1992-Janikow #contest #learning
Combining Competition and Cooperation in Supervised Inductive Learning (CZJ), pp. 241–248.
ICMLML-1992-LapointeM #named #performance #recursion #source code
Sub-unification: A Tool for Efficient Induction of Recursive Programs (SL, SM), pp. 273–281.
ICMLML-1992-OliveiraS #feature model #using
Constructive Induction Using a Non-Greedy Strategy for Feature Selection (ALO, ALSV), pp. 355–360.
SEKESEKE-1992-ReynoldsMZ #using
Extracting Procedural Knowledge from Software Systems Using Inductive Leaning in the PM system (RGR, JIM, EZ), pp. 131–139.
LOPSTRLOPSTR-1992-FribourgO #logic programming #source code
A Unifying View of Structural Induction and Computation Induction for Logic Programs (LF, HO), pp. 46–60.
PLDIPLDI-1992-Wolfe
Beyond Induction Variables (MW), pp. 162–174.
POPLPOPL-1992-CousotC #abstract interpretation #semantics
Inductive Definitions, Semantics and Abstract Interpretation (PC, RC), pp. 83–94.
DACDAC-1992-RhoS #verification
Inductive Verification of Iterative Systems (JKR, FS), pp. 628–633.
CADECADE-1992-HuaZ #named
FRI: Failure-Resistant Induction in RRL (XH, HZ), pp. 691–695.
CADECADE-1992-ZhangH #proving #set #theorem
Proving the Chinese Remainder Theorem by the Cover Set Induction (HZ, XH), pp. 431–445.
CSLCSL-1992-GradelO #finite
Inductive Definability with Counting on Finite Structures (EG, MO), pp. 231–247.
RTARTA-1991-Avenhaus #equation #proving #theorem
Proving Equational and Inductive Theorems by Completion and Embedding Techniques (JA), pp. 361–373.
KDDKDD-1991-CaiCH #database #relational
Attribute-Oriented Induction in Relational Databases (YC, NC, JH), pp. 213–228.
KDDKDD-1991-Frawley #statistics #using
Using Functions to Encode Domain and Contextual Knowledge in Statistical Induction (WJF), pp. 261–276.
KDDKDD-1991-ManagoK
Induction of Decision Trees from Complex Structured Data (MM, YK), pp. 289–308.
KDDKDD-1991-Pednault #encoding
Minimal-Length Encoding and Inductive Inference (EPDP), pp. 71–92.
KDDKDD-1991-SmythG #using
Rule Induction Using Information Theory (PS, RMG), pp. 159–176.
ICMLML-1991-Aha #approach #incremental
Incremental Constructive Induction: An Instance-Based Approach (DWA), pp. 117–121.
ICMLML-1991-CallanU #approach
A Transformational Approach to Constructive Induction (JPC, PEU), pp. 122–126.
ICMLML-1991-Drastal
Informed Pruning in Constructive Induction (GD), pp. 132–136.
ICMLML-1991-GunschR
Opportunistic Constructive Induction (GHG, LAR), pp. 147–152.
ICMLML-1991-Kadie #learning
Quantifying the Value of Constructive Induction, Knowledge, and Noise Filtering on Inductive Learning (CMK), pp. 153–157.
ICMLML-1991-LeckieZ #approach #learning
Learning Search Control Rules for Planning: An Inductive Approach (CL, IZ), pp. 422–426.
ICMLML-1991-LengB
Constructive Induction on Symbolic Features (BL, BGB), pp. 163–167.
ICMLML-1991-Matheus
The Need for Constructive Induction (CJM), pp. 173–177.
ICMLML-1991-MooneyO #refinement
Constructive Induction in Theory Refinement (RJM, DO), pp. 178–182.
ICMLML-1991-MurphyP
Constructive Induction of M-of-N Terms (PMM, MJP), pp. 183–187.
ICMLML-1991-Quinlan #logic programming
Determinate Literals in Inductive Logic Programming (JRQ), pp. 442–446.
ICMLML-1991-Rouveirol
Completeness for Inductive Procedures (CR), pp. 452–456.
ICMLML-1991-Schlimmer #consistency #database #learning
Database Consistency via Inductive Learning (JCS), pp. 640–644.
ICMLML-1991-SilversteinP #learning #relational
Relational Clichés: Constraining Induction During Relational Learning (GS, MJP), pp. 203–207.
ICMLML-1991-TowellCS #knowledge-based #network
Constructive Induction in Knowledge-Based Neural Networks (GGT, MC, JWS), pp. 213–217.
ICMLML-1991-Walczak #performance #predict
Predicting Actions from Induction on Past Performance (SW), pp. 275–279.
ICMLML-1991-WatanabeY #3d
Decision Tree Induction of 3-D Manufacturing Features (LW, SY), pp. 650–654.
ICMLML-1991-Yeung #approach #network
A Neural Network Approach to Constructive Induction (DYY), pp. 228–232.
LOPSTRLOPSTR-1991-JantkeG #synthesis
Inductive Synthesis of Rewrite Rules as Program Synthesis (KPJ, UG), pp. 65–68.
LOPSTRLOPSTR-1991-WigginsBKH #logic programming #proving #source code #synthesis
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof (GAW, AB, IK, JH), pp. 27–45.
CAVCAV-1991-Nesi #higher-order #logic #process #proving #specification
Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic (MN), pp. 288–298.
ICLPISLP-1991-Fribourg #automation #generative #proving
Automatic Generation of Simplification Lemmas for Inductive Proofs (LF), pp. 103–116.
ICMLML-1990-CarlsonWF #concept
Search Control, Utility, and Concept Induction (BMC, JBW, DHF), pp. 85–92.
ICMLML-1990-ChanW #analysis #learning #performance #probability
Performance Analysis of a Probabilistic Inductive Learning System (KCCC, AKCW), pp. 16–23.
ICMLML-1990-Hume #learning
Learning Procedures by Environment-Driven Constructive Induction (DVH), pp. 113–121.
ICMLML-1990-Velde #incremental
Incremental Induction of Topologically Minimal Trees (WVdV), pp. 66–74.
SEKESEKE-1990-EstevaR #learning #reuse
Learning to Recognize Reusable Software by Induction (JCE, RGR), pp. 19–24.
PLDIPLDI-1990-AmmarguellatH #abstract interpretation #automation #recognition
Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation (ZA, WLHI), pp. 283–295.
CADECADE-1990-BundyHSI #proving
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs (AB, FvH, AS, AI), pp. 132–146.
CADECADE-1990-Gramlich #named #proving #theorem proving
UNICOM: A Refined Completion Based Inductive Theorem Prover (BG), pp. 655–656.
CADECADE-1990-Hutter #proving
Guiding Induction Proofs (DH), pp. 147–161.
CADECADE-1990-Reddy #term rewriting
Term Rewriting Induction (USR), pp. 162–177.
ICLPCLP-1990-Fribourg90 #execution #logic programming #prolog #proving #source code
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction (LF), pp. 685–699.
LICSLICS-1990-Freyd #recursion
Recursive Types Reduced to Inductive Types (PJF), pp. 498–507.
PODSPODS-1989-LakshmananM #datalog #game studies #power of
Inductive Pebble Games and the Expressive Power of Datalog (VSL, AOM), pp. 301–310.
RTARTA-1989-Comon #proving #specification
Inductive Proofs by Specification Transformation (HC), pp. 76–91.
RTARTA-1989-Vorobyov
Conditional Rewrite Rule Systems with Built-In Arithmetic and Induction (SGV), pp. 492–512.
KRKR-1989-Helft
Induction as Nonmonotonic Inference (NH), pp. 149–156.
ICMLML-1989-BergadanoGP #deduction #learning #top-down
Deduction in Top-Down Inductive Learning (FB, AG, SP), pp. 23–25.
ICMLML-1989-CaruanaSE #algorithm #bias #multi #search-based #using
Using Multiple Representations to Improve Inductive Bias: Gray and Binary Coding for Genetic Algorithms (RC, JDS, LJE), pp. 375–378.
ICMLML-1989-Chan #learning
Inductive Learning with BCT (PKC), pp. 104–108.
ICMLML-1989-Danyluk #bias #information management
Finding New Rules for Incomplete Theories: Explicit Biases for Induction with Contextual Information (APD), pp. 34–36.
ICMLML-1989-Dietterich #learning
Limitations on Inductive Learning (TGD), pp. 124–128.
ICMLML-1989-DrastalMR #fault
Error Correction in Constructive Induction (GD, RM, SR), pp. 81–83.
ICMLML-1989-FriedrichN #algorithm #learning #using
Using Domain Knowledge to Improve Inductive Learning Algorithms for Diagnosis (GF, WN), pp. 75–77.
ICMLML-1989-Gaines #data-driven #database #empirical #statistics #trade-off
An Ounce of Knowledge is Worth a Ton of Data: Quantitative studies of the Trade-Off between Expertise and Data Based On Statistically Well-Founded Empirical Induction (BRG), pp. 156–159.
ICMLML-1989-GoodmanS #algorithm #probability #set
The Induction of Probabilistic Rule Sets — The Itrule Algorithm (RMG, PS), pp. 129–132.
ICMLML-1989-Manago
Knowledge Intensive Induction (MM), pp. 151–155.
ICMLML-1989-Mehra #framework
Constructive Induction Framework (PM), pp. 474–475.
ICMLML-1989-MooneyO #aspect-oriented #concept #learning
Induction Over the Unexplained: Integrated Learning of Concepts with Both Explainable and Conventional Aspects (RJM, DO), pp. 5–7.
ICMLML-1989-Quinlan
Unknown Attribute Values in Induction (JRQ), pp. 164–168.
ICMLML-1989-RaedtB
Constructive Induction by Analogy (LDR, MB), pp. 476–477.
ICMLML-1989-Rendell
Comparing Systems and analyzing Functions to Improve Constructive Induction (LAR), pp. 461–464.
ICMLML-1989-Spackman #detection #learning #tool support
Signal Detection Theory: Valuable Tools for Evaluating Inductive Learning (KAS), pp. 160–163.
ICMLML-1989-SpanglerFU
Induction of Decision Trees from Inconclusive Data (WSS, UMF, RU), pp. 146–150.
TAPSOFTCAAP-1989-Padawitz #proving
Inductive Proofs by Resolution and Paramodulation (PP), pp. 352–368.
ICMLML-1988-BergadanoG #approach #concept
A Knowledge Intensive Approach to Concept Induction (FB, AG), pp. 305–317.
ICMLML-1988-WisniewskiA #learning
Some Interesting Properties of a Connectionist Inductive Learning System (EJW, JAA), pp. 181–187.
PPDPALP-1988-HofbauerK #proving #term rewriting #theorem
Proving Inductive Theorems Based on Term Rewriting Systems (DH, RDK), pp. 180–190.
PPDPALP-1988-Kucherov #algorithm #proving #testing
A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction (GK), pp. 204–213.
POPLPOPL-1988-GarlandG #data type #reasoning
Inductive Methods for Reasoning about Abstract Data Types (SJG, JVG), pp. 219–228.
CADECADE-1988-Bundy #proving #using
The Use of Explicit Plans to Guide Inductive Proofs (AB), pp. 111–120.
CADECADE-1988-ZhangKK #equation #specification
A Mechanizable Induction Principle for Equational Specifications (HZ, DK, MSK), pp. 162–181.
ICLPJICSCP-1988-ElkanM88 #automation #logic programming #reasoning #source code
Automated Inductive Reasoning about Logic Programs (CE, DAM), pp. 876–892.
ICLPJICSCP-1988-Fribourg88 #prolog #source code
Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs (LF), pp. 893–908.
TAPSOFTAS-1987-Huet #calculus
Induction Principles Formalized in the Calculus of Constructions (GPH), pp. 276–286.
TAPSOFTCFLP-1987-DrabentM #logic programming #source code
Inductive Assertion Method for Logic Programs (WD, JM), pp. 167–181.
CSLCSL-1987-Jager
Induction in the Elementary Theory of Types and Names (GJ), pp. 118–128.
ICLPICLP-1987-Helm87 #deduction #logic programming #source code
Inductive and Deductive Control of Logic Programs (RH), pp. 488–512.
ICALPICALP-1986-Fribourg #strict
A Strong Restriction of the Inductive Completion Procedure (LF), pp. 105–115.
CADECADE-1986-BiundoHHW #proving #theorem proving
The Karlsruhe Induction Theorem Proving System (SB, BH, DH, CW), pp. 672–674.
CADECADE-1986-KanamoriF #prolog #source code #verification
Formulation of Induction Formulas in Verification of Prolog Programs (TK, HF), pp. 281–299.
CADECADE-1986-KapurNZ #proving #testing #using
Proof by Induction Using Test Sets (DK, PN, HZ), pp. 99–117.
CADECADE-1986-Toyama #equivalence #how #term rewriting
How to Prove Equivalence of Term Rewriting Systems without Induction (YT), pp. 118–127.
ICLPICLP-1986-KawaiMKT86 #framework #logic programming
A Framework for ICAI Systems Based on Inductive Inference and Logic Programming (KK, RM, OK, JT), pp. 188–202.
LICSLICS-1986-JouannaudK #automation #equation #proving
Automatic Proofs by Induction in Equational Theories Without Constructors (JPJ, EK), pp. 358–366.
LICSLICS-1986-KapurM #reasoning #specification
Inductive Reasoning with Incomplete Specifications (DK, DRM), pp. 367–377.
CADECADE-1984-Kirchner84a #algorithm #data type
A General Inductive Completion Algorithm and Application to Abstract Data Types (HK), pp. 282–302.
ICALPICALP-1982-CaseL #identification
Machine Inductive Inference and Language Identification (JC, CL), pp. 107–115.
ICALPICALP-1982-HarelK #programming language #set
A Programming Language for the Inductive Sets, and Applications (DH, DK), pp. 313–329.
POPLPOPL-1980-Musser #data type #on the #proving
On Proving Inductive Properties of Abstract Data Types (DRM), pp. 154–162.
STOCSTOC-1980-Pratt #algebra
Dynamic Algebras and the Nature of Induction (VRP), pp. 22–28.
CADECADE-1980-Guguen #algebra #how
How to Prove Algebraic Inductive Hypotheses Without Induction (JAG), pp. 356–373.
ICALPICALP-1978-Wiehagen #formal method #problem
Characterization Problems in the Theory of Inductive Inference (RW), pp. 494–508.
STOCSTOC-1978-CaseS
Anomaly Hierarchies of Mechanized Inductive Inference (JC, CS), pp. 314–319.
POPLPOPL-1976-FongU
Induction Variables in Very High Level Languages (ACF, JDU), pp. 104–112.
ICSEICSE-1976-ReynoldsY #verification
Induction as the Basis for Program Verification (CR, RTY), p. 389.
POPLPOPL-1973-HewittBGSMS
Actor Induction and Meta-Evaluation (CH, PB, IG, BCS, TM, RS), pp. 153–168.
ICALPICALP-1972-HitchcockP #proving #termination
Induction Rules and Termination Proofs (PH, DMRP), pp. 225–251.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.