Search results for "co-induction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Marc Denecker, Eugenia Ternovska	A logic of nonmonotone inductive definitions.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	logic programming, classical logic, Inductive definitions
75	Irene Polycarpou, Ana Pasztor, Malek Adjouadi	A conceptual approach to teaching induction for computer science.	SIGCSE	2008	DBLP DOI BibTeX RDF	induction principle, inductive sets, logic for computer science, undergraduate computer science curricula, computer science education, proofs by induction
73	Marc Denecker, Eugenia Ternovska	A Logic of Non-monotone Inductive Definitions and Its Modularity Properties.	LPNMR	2004	DBLP DOI BibTeX RDF
69	Irene Polycarpou	Induction as a tool for conceptual coherence in computer science.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	undergraduate computer science curricula, computer science education, structural induction, proofs by induction
69	Irene Polycarpou	Computer science students' difficulties with proofs by induction: an exploratory study.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	inductive/recursive definitions, undergraduate computer science curricula, structural induction, proofs by induction
69	Michael Beeson	Mathematical Induction in Otter-Lambda.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	computer proofs, second-order, Otter, mathematical induction, unification, automated deduction
63	Tadashi Kanamori, Hiroshi Fujita	Formulation of Induction Formulas in Verification of Prolog Programs.	CADE	1986	DBLP DOI BibTeX RDF	Prolog, Program Transformation, Program Verification, Induction
63	Ola Olsson, Angela Wallenburg	Customised Induction Rules for Proving Correctness of Imperative Programs.	SEFM	2005	DBLP DOI BibTeX RDF
63	Martin Protzen	Lazy Generation of Induction Hypotheses.	CADE	1994	DBLP DOI BibTeX RDF
57	Deepak Kapur, Paliath Narendran, Hantao Zhang 0001	Proof by Induction Using Test Sets.	CADE	1986	DBLP DOI BibTeX RDF	Inductionless Induction, Knuth-Bendix Completion Procedure, Consistency, Induction, Equational Theory, Sufficient-Completeness, Proof by Induction
57	Chiaki Sakama, Katsumi Inoue	Brave Induction.	ILP	2008	DBLP DOI BibTeX RDF
57	Sorin Stratulat	Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities.	RTA	2008	DBLP DOI BibTeX RDF
57	Eric Deplagne, Claude Kirchner	Deduction versus Computation: The Case of Induction.	AISC	2002	DBLP DOI BibTeX RDF
57	Deepak Kapur, Mahadevan Subramaniam	Using Linear Arithmetic Procedure for Generating Induction Schemes.	FSTTCS	1994	DBLP DOI BibTeX RDF
51	Matthias Baaz, Georg Moser	Herbrand's theorem and term induction.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Term induction, Successor Induction, Herbrand's theorem, Generalisation of Proofs
51	Silvian Calman, Jianwen Zhu	Interprocedural induction variable analysis based on interprocedural SSA form IR.	PASTE	2010	DBLP DOI BibTeX RDF	induction variable analysis, interprocedural ssa, ssa
51	Louis E. Loeb	Psychology, epistemology, and skepticism in Hume's argument about induction.	Synth.	2006	DBLP DOI BibTeX RDF	Garrett, Reason, Induction, Internalism, Externalism, Hume
51	Fabien Gouyon, Anssi Klapuri, Simon Dixon, M. Alonso, George Tzanetakis, C. Uhle, Pedro Cano	An experimental comparison of audio tempo induction algorithms.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
51	Ramón P. Otero	Induction of the Effects of Actions by Monotonic Methods.	ILP	2003	DBLP DOI BibTeX RDF
51	Michael Wolfe	Beyond Induction Variables.	PLDI	1992	DBLP DOI BibTeX RDF
49	Luke Akong'o Orawo, J. Andrés Christen	Bayesian sequential analysis for multiple-arm clinical trials.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Backward Induction, One-arm look-ahead approximation, Clinical trials, Expected Utility, Stopping rule
47	Iraj Kalantari	Induction over the Continuum.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
47	Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001	Deduction, Induction, and beyond in Parametric Logic.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
47	Norma B. Goethe	Two Ways of Thinking about Induction.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
45	Gisele L. Pappa, Alex Alves Freitas	Evolving rule induction algorithms with multi-objective grammar-based genetic programming.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Grammar-based genetic programming, Rule induction algorithms, Data mining, Classification, Pareto optimization
45	Huaxiong Li, Yiyu Yao, Xianzhong Zhou, Bing Huang	Two-Phase Rule Induction from Incomplete Data.	RSKT	2008	DBLP DOI BibTeX RDF	Missing attribute values, Filled-in values, Two-phase rule induction
45	Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi	Induction-Guided Falsification.	ICFEM	2006	DBLP DOI BibTeX RDF	observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
45	Leila Shila Shafti, Eduardo Pérez	Constructive induction and genetic algorithms for learning concepts with complex interaction.	GECCO	2005	DBLP DOI BibTeX RDF	shared attributes, genetic algorithms, feature selection, feature construction, constructive induction, attribute interaction
45	Jérôme Callut, Pierre Dupont	A Markovian Approach to the Induction of Regular String Distributions.	ICGI	2004	DBLP DOI BibTeX RDF	HMM topology induction, Partially observable Markovmodel, Mean first passage time, Lumped Markov process, State splitting algorithm
45	Bulai Wang, Zhesong Gong, Wei Gu 0001, Jianxin Zhu, Yi Guo	Modeling for A Dual Three-Phase Induction Motor Based On A Winding Transformation.	RAM	2008	DBLP DOI BibTeX RDF
45	Norio Yamashita, Akio Yamamoto, Masahiko Gondo, Toshiro Higuchi	Evaluation of an Electrostatic Film Motor Driven by Two-Four-Phase AC Voltage and Electrostatic Induction.	ICRA	2007	DBLP DOI BibTeX RDF
45	Takahito Aoto 0001	Dealing with Non-orientable Equations in Rewriting Induction.	RTA	2006	DBLP DOI BibTeX RDF
45	Gisele L. Pappa, Alex Alves Freitas	Automatically Evolving Rule Induction Algorithms.	ECML	2006	DBLP DOI BibTeX RDF
45	Claus-Peter Wirth	History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
45	Adel Bouhoula	General Framework for Mechanizing Induction using Test Set.	PRICAI	1996	DBLP DOI BibTeX RDF	Logic and Formal Verification, Theorem Proving, Automated reasoning
45	Deepak Kapur, Mahadevan Subramaniam	Lemma Discovery in Automated Induction.	CADE	1996	DBLP DOI BibTeX RDF
45	François Bronsard, Uday S. Reddy, Robert W. Hasker	Induction using Term Orderings.	CADE	1994	DBLP DOI BibTeX RDF
45	Christoph Walther	Computing Induction Axioms.	LPAR	1992	DBLP DOI BibTeX RDF
41	Alberto Momigliano, Alwen Fernanto Tiu	Induction and Co-induction in Sequent Calculus.	TYPES	2003	DBLP DOI BibTeX RDF
39	Márcio P. Basgalupp, Rodrigo C. Barros, André Carlos Ponce de Leon Ferreira de Carvalho, Alex Alves Freitas, Duncan D. Ruiz	LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction.	SAC	2009	DBLP DOI BibTeX RDF	lexicographic multi-objective genetic algorithms, data mining, evolutionary algorithms, decision tree induction
39	Zohreh HajAbedi, Mohammad Reza Kangavari	A Fuzzy-GA Wrapper-Based Constructive Induction Model.	ICIC (2)	2009	DBLP DOI BibTeX RDF	Feature selection, Fuzzy, GA, Feature construction, Constructive induction
39	Qianjin Guo, Xiaoli Li 0011, Haibin Yu, Wei Hu, Jingtao Hu	Broken Rotor Bars Fault Detection in Induction Motors Using Park's Vector Modulus and FWNN Approach.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Park’s Vector Modulus, FWNN, Fault Detection, Induction Motors
39	Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue	Towards a Logical Reconstruction of CF-Induction.	JSAI	2007	DBLP DOI BibTeX RDF	inverse entailment, CF-induction, generalisation operator
39	Omar Juárez Gambino, Hiram Calvo	On the Usage of Morphological Tags for Grammar Induction.	MICAI	2007	DBLP DOI BibTeX RDF	Syntactic Tagging, Morphological Tags, ABL, Grammar Induction
39	Lemuel R. Waitman, Douglas H. Fisher, Paul H. King	Bootstrapping rule induction to achieve rule stability and reduction.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Perioperative medicine, Rule similarity, Rule visualization, Rule abstraction, Algorithm stability, Bootstrapping, Multidimensional scaling, Rule induction, Decision rules
39	Yixin Shou, Robert A. van Engelen, Johnnie Birch, Kyle A. Gallivan	Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	loop parallelization, recurrences, induction variables, compiler algorithms
39	Katsumi Inoue	Induction as Consequence Finding.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	consequence finding, inverse entailment, induction, abduction
39	Jianchao Han, Aijun An, Nick Cercone	CViz: An Interactive Visualization System for Rule Induction.	AI	2000	DBLP DOI BibTeX RDF	machine learning, knowledge discovery, interactive visualization, rule induction
39	Xindong Wu 0001, David Urpani	Induction By Attribute Elimination.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	Data mining, rule induction, information entropy, attribute selection
39	Michael P. Gerlek, Eric Stoltz, Michael Wolfe	Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	def-use chain, wraparound variable, constant propagation, static single assignment, demand-driven, strength reduction, induction variable
39	Nitin Indurkhya, Sholom M. Weiss	Iterative rule induction methods.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	induction techniques, Machine learning, rule-based systems
39	Jeffrey Sarnat, Carsten Schürmann 0001	Lexicographic Path Induction.	TLCA	2009	DBLP DOI BibTeX RDF
39	Saqib Mir, Steffen Staab, Isabel Rojas	Site-Wide Wrapper Induction for Life Science Deep Web Databases.	DILS	2009	DBLP DOI BibTeX RDF	Database, Information Extraction, Deep Web, Wrapper Generation
39	Zhiheng Huang, Tamás D. Gedeon, Masoud Nikravesh	Pattern Trees Induction: A New Machine Learning Method.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
39	Gisele L. Pappa, Alex Alves Freitas	Discovering New Rule Induction Algorithms with Grammar-based Genetic Programming.	Soft Computing for Knowledge Discovery and Data Mining	2008	DBLP DOI BibTeX RDF
39	Makarius Wenzel	Structured Induction Proofs in Isabelle/Isar.	MKM	2006	DBLP DOI BibTeX RDF
39	Ramón P. Otero	Induction of the Indirect Effects of Actions by Monotonic Methods.	ILP	2005	DBLP DOI BibTeX RDF
39	Carsten Schürmann	A Type-Theoretic Approach to Induction with Higher-Order Encodings.	LPAR	2001	DBLP DOI BibTeX RDF
39	Deepak Kapur, Mahadevan Subramaniam	Extending Decision Procedures with Induction Schemes.	CADE	2000	DBLP DOI BibTeX RDF
39	David A. Duffy, Jürgen Giesl	Closure Induction in a Z-Like Language.	ZB	2000	DBLP DOI BibTeX RDF
39	Dieter Hutter	Synthesis of Induction Orderings for Existence Proofs.	CADE	1994	DBLP DOI BibTeX RDF
39	Claudio Hermida, Bart Jacobs 0001	An Algebraic View of Structural Induction.	CSL	1994	DBLP DOI BibTeX RDF
39	Hantao Zhang 0001, Deepak Kapur, Mukkai S. Krishnamoorthy	A Mechanizable Induction Principle for Equational Specifications.	CADE	1988	DBLP DOI BibTeX RDF
39	Gérard P. Huet	Induction Principles Formalized in the Calculus of Constructions.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
39	Simon Siegler, Nathan Wasser (eds.)	Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
39	Christoph Benzmüller	Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners).	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
39	Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl	Termination Graphs for Java Bytecode.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
39	Brigitte Pientka	Programming Inductive Proofs - A New Approach Based on Contextual Types.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
39	Moa Johansson, Lucas Dixon, Alan Bundy	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
39	Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine	The VATES-Diamond as a Verifier's Best Friend.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
39	Markus Aderhold	Second-Order Programs with Preconditions.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
39	Serge Autexier, Dieter Hutter, Till Mossakowski	Change Management for Heterogeneous Development Graphs.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
39	Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel	Specifying and Verifying Organizational Security Properties in First-Order Logic.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
39	Oliver Schulte	Logically Reliable Inductive Inference.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
39	Kevin T. Kelly	How Simplicity Helps You Find the Truth without Pointing at it.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
39	Clark Glymour	Trade-Offs.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
39	Kevin T. Kelly	How to Do Things with an Infinite Regress.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
39	Michèle Friend	Some Philosophical Concerns about the Confidence in 'Confident Learning'.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
39	Valentina S. Harizanov, Norma B. Goethe, Michèle Friend	Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
39	Brendan Larvor	Between History and Logic.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
39	Valentina S. Harizanov	Inductive Inference Systems for Learning Classes of Algorithmically Generated Sets and Structures.	Induction, Algorithmic Learning Theory, and Philosophy	2007	DBLP DOI BibTeX RDF
37	Naijun Zhan	Another formal proof for Deadline Driven Scheduler.	RTCSA	2000	DBLP DOI BibTeX RDF	Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC
37	Trong Dung Nguyen, Tu Bao Ho, Hiroshi Shimodaira	A visualization tool for interactive learning of large decision trees.	ICTAI	2000	DBLP DOI BibTeX RDF	large decision tree visualization, moderately sized datasets, decision tree induction programs, very large trees, T2 5D, data mining, data mining, decision trees, interactive systems, data visualisation, very large databases, learning process, visualization tool, interactive learning, large datasets, learning by example, visualization technique, decision tree induction, tree visualizers, learning techniques
37	Aurora T. R. Pozo, Mozart Hasse	A Genetic Classifier Tool.	SCCC	2000	DBLP DOI BibTeX RDF	genetic classifier tool, intelligent tools, induction based learning systems, induction-based classifier tool, Michigan approach, phenotypic sharing, genetic algorithms, genetic algorithm, data mining, data mining, optimization, data structures, data structures, knowledge discovery, pattern classification, enterprise information system, very large databases, learning by example, large databases, genetic operators
37	Jiming Liu 0001, Michel C. Desmarais	A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Belief-network induction, implication networks, implication-network induction, knowledge engineering, Monte-Carlo simulation, learning algorithms, probabilistic reasoning, empirical validation, evidential reasoning
37	Amy P. Felty, Alberto Momigliano	Reasoning with hypothetical judgments and open terms in hybrid.	PPDP	2009	DBLP DOI BibTeX RDF	name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
37	Willem C. Mallon, Jan Tijmen Udding	Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications.	ASYNC	1997	DBLP DOI BibTeX RDF	delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule
35	Gonzalo Ramos-Jiménez, José del Campo-Ávila, Rafael Morales Bueno	Induction of Decision Trees Using an Internal Control of Induction.	IWANN	2005	DBLP DOI BibTeX RDF
33	Zhongmin Shi, Evangelos E. Milios, Nur Zincir-Heywood	Post-Supervised Template Induction for Information Extraction from Lists and Tables in Dynamic Web Sources.	J. Intell. Inf. Syst.	2005	DBLP DOI BibTeX RDF	template induction, information extraction, unsupervised learning, grammar induction
33	Brian R. Gaines, Paul Compton	Induction of Meta-knowledge about Knowledge Discovery.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	meta-knowledge induction, ripple-down rule induction, clinical data, thyroid diagnosis, inductive knowledge discovery, real-world data, Garvan thyroid database, rules with exceptions, medical administrative data processing, machine learning, learning (artificial intelligence), expert system, knowledge discovery, metamodel, meta-modeling, inference mechanisms, induct, error rates, medical diagnosis, medical diagnostic computing, medical expert systems
33	Özden Gür-Ali, William A. Wallace	Induction of Rules Subject to a Quality Constraint: Probabilistic Inductive Learning.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	quality constraint, probabilistic inductive learning, organizational databases, tree induction algorithms, total branching, subset elimination, maximum misclassification levels, minimum reliability levels, automated decision processes, claims process, compensation board, learning (artificial intelligence), decision support system, decision support systems, knowledge acquisition, deductive databases, rule induction, tree data structures, uncertainty handling, rule generation, statistical quality control, decision processes
33	Padhraic Smyth, Rodney M. Goodman	An Information Theoretic Approach to Rule Induction from Databases.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	rule induction from databases, multiple concepts, generalized rule induction, rule preference measure, J-measure, hypothesis preference measure, ITRULE algorithm, learning, expert systems, knowledge acquisition, information theory, database management systems, learning systems, information theoretic approach
33	Miroslav Kubat, Kanoksri Sarinnapakorn, Sareewan Dendamrongvit	Induction in Multi-Label Text Classification Domains.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF	Classifier induction, multi-label examples, text classification, information fusion, Dempster-Shafer theory
33	Rinaldo Lima, Bernard Espinasse, Frederico Luiz Gonçalves de Freitas	An adaptive information extraction system based on wrapper induction with POS tagging.	SAC	2010	DBLP DOI BibTeX RDF	machine learning, information extraction, boosting, supervised classification, wrapper induction, POS tagging
33	Yinhai Zhang, Jinfa Ge, Weixia Liu, Qin Wang	An Experimental Research on Vector Control of Induction Motor Based on Simple Model.	AICI	2009	DBLP DOI BibTeX RDF	vector control, rotor flux, decoupler, induction motor
33	Sérgio Pinheiro dos Santos, José Alfredo F. Costa	A Comparison between Hybrid and Non-hybrid Classifiers in Diagnosis of Induction Motor Faults.	CSE	2008	DBLP DOI BibTeX RDF	Machine learning, Faults detection, Induction motors, Multi-classifiers systems
33	Dinko Vukadinovic, Mateo Basic, Ljubomir Kulisic	Stator Resistance Tuning Based on a Neural Network in an Indirect Rotor Field Oriented Control System of an Induction Motor.	KES (1)	2008	DBLP DOI BibTeX RDF	indirect field-oriented control, neural network, adaptive control, induction motor
33	Sheng Yang, V. Ajjarapu	Web-based speed control of induction motor with inverter dead-time compensation.	SCSC	2007	DBLP BibTeX RDF	dead-time compensation, induction motor drives, web-based control, rapid prototyping, model-based design
33	Xin Wang, Xianzhong Dai	The ANN Inverse Control of Induction Motor with Robust Flux Observer Based on ESO.	ISNN (2)	2007	DBLP DOI BibTeX RDF	neural network inverse, extended state observer, linearize and decouple, simulation, robust, induction motor
33	Andrew M. Pitts	Alpha-structural recursion and induction.	J. ACM	2006	DBLP DOI BibTeX RDF	recursion, induction, names, Abstract syntax, binders