Search results for "inductive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
83	Feng Feng 0003, Young Bae Jun	Inductive semimodules and the vector modules over them.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Semimodule, Inductive *-semiring, Kleene module, Inductive semimodule, Linear inequation system, Semiring, Kleene algebra
83	Luc De Raedt	An Inductive Logic Programming Query Language for Database Mining.	AISC	1998	DBLP DOI BibTeX RDF	database mining query language, inductive query language, data mining, inductive logic programming, relational learning
77	Wei Li 0022	A Logical Framework for Inductive Inference and Its Rationality.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF	inductive process, belief revision, knowledge representation and reasoning, inductive reasoning
75	Albrecht Zimmermann, Luc De Raedt	Inductive Querying for Discovering Subgroups and Clusters.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF	correlated pattern mining, inductive querying, clustering, subgroup discovery, constraint-based mining
65	Luc De Raedt, Kristian Kersting	Probabilistic Inductive Logic Programming.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
63	Saso Dzeroski, Ljupco Todorovski, Peter Ljubic	Inductive Queries on Polynomial Equations.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
63	Kimmo Hätönen, Mika Klemettinen, Markus Miettinen	Remarks on the Industrial Application of Inductive Database Technologies.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
61	Marta Franová	Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving.	ISMIS	1996	DBLP DOI BibTeX RDF
59	Luc De Raedt	A Perspective on Inductive Databases.	SIGKDD Explor.	2002	DBLP DOI BibTeX RDF	inductive querying, constraint-based mining, inductive databases
58	Hidenao Abe, Takahira Yamaguchi	Constructing Inductive Applications by Meta-Learning with Method Repositories.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
57	Rosa Meo, Pier Luca Lanzi, Maristella Matera, Danilo Careggio, Roberto Esposito	Employing Inductive Databases in Concrete Applications.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
53	Luc De Raedt	A Logical Database Mining Query Language.	ILP	2000	DBLP DOI BibTeX RDF	database mining query language, versionspaces, inductive logic programming, relational learning, APRIORI, inductive database
53	Debby Keen, Arcot Rajasekar	Inductive certainty factors from databases.	HICSS (3)	1995	DBLP DOI BibTeX RDF	inductive certainty factors, missing information inference, statistical based measures, inductive dependencies, delta measurement, delta functions, knowledge mining formalism, databases, artificial intelligence, knowledge representation, knowledge acquisition, knowledge acquisition, deductive databases, inference mechanisms, uncertainty handling, intelligent information systems
52	David B. Skillicorn, Yu Wang	Parallel and Sequential Algorithms for Data Mining Using Inductive Logic.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Bump hunting, Progol, Cost modeling, Covering, BSP, Inductive logic, Superlinear speedup, Bulk synchronous parallelism
52	Paul Callaghan, Zhaohui Luo	Implementation Techniques for Inductive Types in Plastic.	TYPES	1999	DBLP DOI BibTeX RDF	inductive types, LF implementation, type theory
52	Peipeng Liang, Ning Zhong 0001, Shengfu Lu, Jiming Liu 0001, Yiyu Yao, Kuncheng Li, Yanhui Yang	The Neural Mechanism of Human Numerical Inductive Reasoning Process: A Combined ERP and fMRI Study.	WImBI	2006	DBLP DOI BibTeX RDF
52	Emmanuel Kounalis	Testing for Inductive (Co)-Reducibility.	CAAP	1990	DBLP DOI BibTeX RDF	Proof by consistency, Ground terms in normal form, Term rewriting systems, Test Sets, Equations
51	Rosa Meo, Marco Botta, Roberto Esposito, Arianna Gallo	A Novel Incremental Approach to Association Rules Mining in Inductive Databases.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
49	Chiaki Sakama, Katsumi Inoue	Inductive Equivalence of Logic Programs.	ILP	2005	DBLP DOI BibTeX RDF
49	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
47	Xiaoxin Yin, Jiawei Han 0001, Jiong Yang 0001, Philip S. Yu	CrossMine: Efficient Classification Across Multiple Database Relations.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
47	Toon Calders, Christophe Rigotti, Jean-François Boulicaut	A Survey on Condensed Representations for Frequent Sets.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
47	Francesco Bonchi, Fosca Giannotti, Dino Pedreschi	A Relational Query Primitive for Constraint-Based Pattern Mining.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
46	Pierre Flener, Ute Schmid	An introduction to inductive programming.	Artif. Intell. Rev.	2008	DBLP DOI BibTeX RDF	Inductive programming, Machine learning
46	Kittisak Kerdprasop, Nittaya Kerdprasop, Apichai Ritthongchailert	Query Answering in Relational Inductive Databases.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
46	Luc De Raedt	Statistical Relational Learning: An Inductive Logic Programming Perspective.	PKDD	2005	DBLP DOI BibTeX RDF
46	Carlo Zaniolo	Mining Databases and Data Streams with Query Languages and Rules.	KDID	2005	DBLP DOI BibTeX RDF
46	Kevin M. Lepak, Min Xu, Jun Chen 0008, Lei He 0001	Simultaneous shield insertion and net ordering for capacitive and inductive coupling minimization.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	VLSI physical design automation and on-chip inductance, net ordering, noise minimization, signal integrity, shielding
46	Johannes Fischer 0001, Luc De Raedt	Towards Optimizing Conjunctive Inductive Queries.	PAKDD	2004	DBLP DOI BibTeX RDF
44	Kristian Kersting, Luc De Raedt	Basic Principles of Learning Bayesian Logic Programs.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
43	César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Incremental Learning of Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF	Inductive functional logic programming (IFLP), incremental learning, theory revision, inductive logic programming (ILP)
43	Stefan Kramer 0001, Volker Aufschild, Andreas Hapfelmeier, Alexander Jarasch, Kristina Kessler, Stefan Reckow, Jörg Wicker, Lothar Richter	Inductive Databases in the Relational Model: The Data as the Bridge.	KDID	2005	DBLP DOI BibTeX RDF
43	Arno Siebes	Data Mining in Inductive Databases.	KDID	2005	DBLP DOI BibTeX RDF
43	Luc De Raedt	Towards Query Evaluation in Inductive Databases Using Version Spaces.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
43	Fairouz Kamareddine, François Monin	On Automating Inductive and Non-inductive Termination Methods.	ASIAN	1999	DBLP DOI BibTeX RDF
41	Sandy L. Zabell	Carnap and the Logic of Inductive Inference.	Inductive Logic	2011	DBLP DOI BibTeX RDF
41	Jan-Willem Romeijn	Inductive Logic and Statistics.	Inductive Logic	2011	DBLP DOI BibTeX RDF
41	Nick Chater, Mike Oaksford, Ulrike Hahn, Evan Heit	Inductive Logic and Empirical Psychology.	Inductive Logic	2011	DBLP DOI BibTeX RDF
41	Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vítor Santos Costa, Hannu Toivonen	Probabilistic Inductive Querying Using ProbLog.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
41	Hendrik Blockeel, Toon Calders, Élisa Fromont, Adriana Prado, Bart Goethals, Céline Robardet	Inductive Querying with Virtual Mining Views.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
41	Saso Dzeroski	Inductive Databases and Constraint-based Data Mining: Introduction and Overview.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
41	Luc De Raedt, Manfred Jaeger, Sau Dan Lee, Heikki Mannila	A Theory of Inductive Query Answering.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
41	Ross D. King, Amanda C. Schierz, Amanda Clare, Jem J. Rowland, Andrew Sparkes, Siegfried Nijssen, Jan Ramon	Inductive Queries for a Drug Designing Robot Scientist.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
41	Jean-François Boulicaut, Luc De Raedt, Heikki Mannila (eds.)	Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers	Constraint-Based Mining and Inductive Databases	2005	DBLP DOI BibTeX RDF
41	Roberto J. Bayardo	The Hows, Whys, and Whens of Constraints in Itemset and Rule Discovery.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Daniel Kifer, Johannes Gehrke, Cristian Bucila, Walker M. White	How to Quickly Find a Witness.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Cheikh Talibouya Diop, Arnaud Giacometti, Dominique Laurent 0001, Nicolas Spyratos	Computation of Mining Queries: An Algebraic Approach.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Mohammed Javeed Zaki, Nilanjana De, Feng Gao 0016, Paolo Palmerini, Nagender Parimi, Jeevan Pathuri, Benjarath Phoophakdee, Joe Urban	Generic Pattern Mining Via Data Mining Template Library.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Ruggero G. Pensa, Jérémy Besson, Céline Robardet, Jean-François Boulicaut	Contribution to Gene Expression Data Analysis by Means of Set Pattern Mining.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Björn Bringmann	To See the Wood for the Trees: Mining Frequent Tree Patterns.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Fabien De Marchi, Frédéric Flouvat, Jean-Marc Petit	Adaptive Strategies for Mining the Positive Border of Interesting Patterns: Application to Inclusion Dependencies in Databases.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Jouni K. Seppänen, Heikki Mannila	Boolean Formulas and Frequent Sets.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Nada Lavrac, Dragan Gamberger	Relevancy in Constraint-Based Subgroup Discovery.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Gianluigi Greco, Antonella Guzzo, Giuseppe Manco 0001, Luigi Pontieri, Domenico Saccà	Mining Constrained Graphs: The Case of Workflow Systems.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
41	Erika Van Baelen, Luc De Raedt	Analysis and Prediction of Piano Performances Using Inductive Logic Programming.	Inductive Logic Programming Workshop	1996	DBLP DOI BibTeX RDF
41	Ashwin Srinivasan 0001, Ross D. King	Feature Construction with Inductive Logic Programming: A Study of Quantitative Predictions of Biological Activity by Structural Attributes.	Inductive Logic Programming Workshop	1996	DBLP DOI BibTeX RDF
41	Stephen H. Muggleton, David Page, Ashwin Srinivasan 0001	An Initial Experiment into Stereochemistry-Based Drug Design Using Inductive Logic Programming.	Inductive Logic Programming Workshop	1996	DBLP DOI BibTeX RDF
41	Raymond J. Mooney	Inductive Logic Programming for Natural Language Processing.	Inductive Logic Programming Workshop	1996	DBLP DOI BibTeX RDF
41	Pierre Flener	Inductive Logic Program Synthesis with DIALOGS.	Inductive Logic Programming Workshop	1996	DBLP DOI BibTeX RDF
41	Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen	Dual Types of Hypotheses in Inductive Inference.	Nonmonotonic and Inductive Logic	1991	DBLP DOI BibTeX RDF
41	Janis Barzdins, Guntis Barzdins	Towards Efficient Inductive Synthesis: Rapid Construction of Local Regularities.	Nonmonotonic and Inductive Logic	1991	DBLP DOI BibTeX RDF
41	Klaus P. Jantke	Monotonic and Nonmonotonic Inductive Inference of Functions and Patterns.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
41	Rolf Wiehagen	A Thesis in Inductive Inference.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
41	Thomas Zeugmann	Inductive Inference of Optimal Programs: A Survey and Open Problems.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
40	Ulrich Rückert 0002, Stefan Kramer 0001	Kernel-Based Inductive Transfer.	ECML/PKDD (2)	2008	DBLP DOI BibTeX RDF	regularized risk minimization, kernels, transfer learning, inductive transfer
40	Kayo Sakamoto, Masanori Nakagawa	A Computational Model of Risk-Context-Dependent Inductive Reasoning Based on a Support Vector Machine.	LKR	2008	DBLP DOI BibTeX RDF	corpus-based conceptual clustering, Support Vector Machines, context, natural language processing, risk, inductive reasoning
40	Kayo Sakamoto, Masanori Nakagawa	Risk Context Effects in Inductive Reasoning: An Experimental and Computational Modeling Study.	CONTEXT	2007	DBLP DOI BibTeX RDF	corpus-based conceptual clustering, Support Vector Machines, natural language processing, categorization, risk, inductive reasoning
40	Will Bridewell, Ljupco Todorovski	Learning Declarative Bias.	ILP	2007	DBLP DOI BibTeX RDF	inductive process modeling, transfer learning, meta-learning
40	Andrey V. Mezhiba, Eby G. Friedman	Properties of on-chip inductive current loops.	ACM Great Lakes Symposium on VLSI	2002	DBLP DOI BibTeX RDF	loop inductance, inductance, inductive coupling
40	John Y. Ching, Andrew K. C. Wong, Keith C. C. Chan	Class-Dependent Discretization for Inductive Learning from Continuous and Mixed-Mode Data.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	mixed-mode attributes, classification, uncertainty, mutual information, discretization, maximum entropy, Inductive learning, continuous attributes
40	James Brotherston	Formalised Inductive Reasoning in the Logic of Bunched Implications.	SAS	2007	DBLP DOI BibTeX RDF
40	Brock J. LaMeres, Kanupriya Gulati, Sunil P. Khatri	Controlling inductive cross-talk and power in off-chip buses using CODECs.	ASP-DAC	2006	DBLP DOI BibTeX RDF
40	Jan Struyf, Saso Dzeroski	Constraint Based Induction of Multi-objective Regression Trees.	KDID	2005	DBLP DOI BibTeX RDF
40	Akihiro Suyama, Naoya Negishi, Takahira Yamaguchi	Composing Inductive Applications Using Ontologies for Machine Learning.	Discovery Science	1998	DBLP DOI BibTeX RDF
40	Eiju Hirowatari, Setsuo Arikawa	A Comparison of Identification Criteria for Inductive Inference of Recursive Real-Valued Functions.	ALT	1998	DBLP DOI BibTeX RDF
40	Gunter Grieser, Klaus P. Jantke, Steffen Lange	Towards the Validation of Inductive Learning Systems.	ALT	1998	DBLP DOI BibTeX RDF
40	Peter Padawitz	Inductive Proofs by Resolution and Paramodulation.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
38	Jakob von Raumer	Higher inductive types, inductive families, and inductive-inductive types.		2020	RDF
38	Vítor Santos Costa, David Page, James Cussens	CLP(BN): Constraint Logic Programming for Probabilistic Knowledge.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
38	Paolo Frasconi, Andrea Passerini	Learning with Kernels and Logical Representations.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
38	Jianzhong Chen, Lawrence A. Kelley, Stephen H. Muggleton, Michael J. E. Sternberg	Protein Fold Discovery Using Stochastic Logic Programs.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
38	Pedro M. Domingos, Stanley Kok, Daniel Lowd, Hoifung Poon, Matthew Richardson, Parag Singla	Markov Logic.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
38	José Hernández-Orallo, M. José Ramírez-Quintana	A Strong Complete Schmema for Inductive Functional Logic Programming.	ILP	1999	DBLP DOI BibTeX RDF	Function Invention, Induction of Auxiliary Functions, Inverse Narrowing, Inductive Logic Programming, Narrowing, Functional Logic Programming
37	Shen Lin, Norman Chang, O. Sam Nakagawa	Quick On-Chip Self- and Mutual-Inductance Screen.	ISQED	2000	DBLP DOI BibTeX RDF	inductance screening, significant frequency, inductive coupling and inductive modeling, signal integrity
37	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
37	Heikki Mannila	Inductive Databases (Abstract).	ILP	1999	DBLP DOI BibTeX RDF
36	Aaron R. Bradley, Zohar Manna	Property-directed incremental invariant generation.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Polynomial invariants, Clausal invariants, Model checking, Static analysis, Affine invariants, Invariant generation
36	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
35	Alexey Denisov, Eric M. Yeatman	Ultrasonic vs. Inductive Power Delivery for Miniature Biomedical Implants.	BSN	2010	DBLP DOI BibTeX RDF	acoustic waves, implantable microdevices, inductive powering, power transmission efficiency, ultrasonic powering, wireless power delivery, inductive coupling
35	Saso Dzeroski, Nada Lavrac	Inductive Learning in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	single extensional relation, LINUS, inductive logic programming system, virtual relations, negative tuples, attribute-value form, attribute-value learning systems, real-life noisy databases, deductive DBMS, learning (artificial intelligence), logic programming, database theory, deductive databases, deductive databases, inductive learning, noisy data
35	Francesco Bergadano	Inductive Database Relations.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	inductive database relations, interdependent relations, recursive relations, intentional information, virtual relations, logic programming, relational databases, database theory, deductive databases, deductive databases, views, inductive logic programming, top-down methods
34	Zoltán Balogh 0003, Dániel Varró	Model transformation by example using inductive logic programming.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	By-example synthesis, Model transformation, Inductive logic programming
34	Peishun Liu, Xuefang Wang	Identification of Malicious Web Pages by Inductive Learning.	WISM	2009	DBLP DOI BibTeX RDF	Malicious detection, generalization, specialization, inductive learning, drive-by downloads
34	Jürgen Landes, Jeff B. Paris, Alena Vencovská	Instantial Relevance in Polyadic Inductive Logic.	ICLA	2009	DBLP DOI BibTeX RDF	Instantial Relevance, Spectrum Exchangeability, Uncertain Reasoning, Probability Logic, Inductive Logic
34	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
34	Juan Wang, Yajie Zhou, Huanguo Zhang	The Simplified Inductive Approach to Verifying Security Protocols.	ISECS	2008	DBLP DOI BibTeX RDF	inductive approach, security protocol, belief logic
34	Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Mining library specifications using inductive logic programming.	ICSE	2008	DBLP DOI BibTeX RDF	machine learning., verification, datalog, inductive logic programming, software specification
34	Mathieu Serrurier, Henri Prade	Improving Expressivity of Inductive Logic Programming by Learning Different Kinds of Fuzzy Rules.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Inductive logic programming, Fuzzy rules
34	Dániel Varró, Zoltán Balogh 0003	Automating model transformation by example using inductive logic programming.	SAC	2007	DBLP DOI BibTeX RDF	by-example synthesis, model transformation, inductive logic programming