|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1965 occurrences of 1094 keywords
|
|
|
Results
Found 7783 publication records. Showing 7783 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
122 | Peter Dybjer, Anton Setzer |
Indexed Induction-Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Theory in Computer Science ![In: Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings, pp. 93-113, 2001, Springer, 3-540-42752-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(11), pp. 1113-1121, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 1-13, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 304-315, 1999, Springer, 3-540-66822-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 380-399, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 1-27, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Saso Dzeroski, Ljupco Todorovski, Peter Ljubic |
Inductive Queries on Polynomial Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 127-154, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Kimmo Hätönen, Mika Klemettinen, Markus Miettinen |
Remarks on the Industrial Application of Inductive Database Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 196-215, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings, pp. 551-560, 1996, Springer, 3-540-61286-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
59 | Luc De Raedt |
A Perspective on Inductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGKDD Explor. ![In: SIGKDD Explor. 4(2), pp. 69-77, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Progress in Discovery Science ![In: Progress in Discovery Science, Final Report of the Japanese Discovery Science Project, pp. 576-585, 2002, Springer, 3-540-43338-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Rosa Meo, Pier Luca Lanzi, Maristella Matera, Danilo Careggio, Roberto Esposito |
Employing Inductive Databases in Concrete Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 295-327, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Luc De Raedt |
A Logical Database Mining Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, pp. 78-92, 2000, Springer, 3-540-67795-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 300-311, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 3(4), pp. 405-421, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers, pp. 94-113, 1999, Springer, 3-540-41517-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WImBI ![In: Web Intelligence Meets Brain Informatics, First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers, pp. 223-243, 2006, Springer, 978-3-540-77027-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Emmanuel Kounalis |
Testing for Inductive (Co)-Reducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 221-238, 1990, Springer, 3-540-52590-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 267-294, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Chiaki Sakama, Katsumi Inoue |
Inductive Equivalence of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings, pp. 312-329, 2005, Springer, 3-540-28177-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Anton Setzer |
Partial Recursive Functions in Martin-Löf Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 505-515, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 172-195, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Toon Calders, Christophe Rigotti, Jean-François Boulicaut |
A Survey on Condensed Representations for Frequent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 64-80, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Francesco Bonchi, Fosca Giannotti, Dino Pedreschi |
A Relational Query Primitive for Constraint-Based Pattern Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 14-37, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Pierre Flener, Ute Schmid |
An introduction to inductive programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 29(1), pp. 45-62, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Inductive programming, Machine learning |
46 | Kittisak Kerdprasop, Nittaya Kerdprasop, Apichai Ritthongchailert |
Query Answering in Relational Inductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 3-7 September 2007, Regensburg, Germany, pp. 329-333, 2007, IEEE Computer Society, 0-7695-2932-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Luc De Raedt |
Statistical Relational Learning: An Inductive Logic Programming Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2005, 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings, pp. 3-5, 2005, Springer, 3-540-29244-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Carlo Zaniolo |
Mining Databases and Data Streams with Query Languages and Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDID ![In: Knowledge Discovery in Inductive Databases, 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers, pp. 24-37, 2005, Springer, 3-540-33292-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 9(3), pp. 290-309, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 8th Pacific-Asia Conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004, Proceedings, pp. 625-637, 2004, Springer, 3-540-22064-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Kristian Kersting, Luc De Raedt |
Basic Principles of Learning Bayesian Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 189-221, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
Incremental Learning of Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings, pp. 233-247, 2001, Springer, 3-540-41739-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDID ![In: Knowledge Discovery in Inductive Databases, 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers, pp. 124-138, 2005, Springer, 3-540-33292-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Arno Siebes |
Data Mining in Inductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDID ![In: Knowledge Discovery in Inductive Databases, 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers, pp. 1-23, 2005, Springer, 3-540-33292-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Luc De Raedt |
Towards Query Evaluation in Inductive Databases Using Version Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Database Support for Data Mining Applications ![In: Database Support for Data Mining Applications: Discovering Knowledge with Inductive Queries, pp. 117-134, 2004, Springer, 3-540-22479-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Fairouz Kamareddine, François Monin |
On Automating Inductive and Non-inductive Termination Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 177-189, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Sandy L. Zabell |
Carnap and the Logic of Inductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic ![In: Inductive Logic, pp. 265-309, 2011, Elsevier, 978-0-444-52936-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
41 | Jan-Willem Romeijn |
Inductive Logic and Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic ![In: Inductive Logic, pp. 625-650, 2011, Elsevier, 978-0-444-52936-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
41 | Nick Chater, Mike Oaksford, Ulrike Hahn, Evan Heit |
Inductive Logic and Empirical Psychology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic ![In: Inductive Logic, pp. 553-624, 2011, Elsevier, 978-0-444-52936-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 229-262, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 265-287, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Saso Dzeroski |
Inductive Databases and Constraint-based Data Mining: Introduction and Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 3-26, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Luc De Raedt, Manfred Jaeger, Sau Dan Lee, Heikki Mannila |
A Theory of Inductive Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 79-103, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 425-451, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![Springer, 3-540-31331-1 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Roberto J. Bayardo |
The Hows, Whys, and Whens of Constraints in Itemset and Rule Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 1-13, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Daniel Kifer, Johannes Gehrke, Cristian Bucila, Walker M. White |
How to Quickly Find a Witness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 216-242, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Cheikh Talibouya Diop, Arnaud Giacometti, Dominique Laurent 0001, Nicolas Spyratos |
Computation of Mining Queries: An Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 102-126, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 362-379, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 328-347, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Björn Bringmann |
To See the Wood for the Trees: Mining Frequent Tree Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 38-63, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 81-101, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Jouni K. Seppänen, Heikki Mannila |
Boolean Formulas and Frequent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 348-361, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Nada Lavrac, Dragan Gamberger |
Relevancy in Constraint-Based Subgroup Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 243-266, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 155-171, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Erika Van Baelen, Luc De Raedt |
Analysis and Prediction of Piano Performances Using Inductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic Programming Workshop ![In: Inductive Logic Programming, 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers, pp. 55-71, 1996, Springer, 3-540-63494-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic Programming Workshop ![In: Inductive Logic Programming, 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers, pp. 89-104, 1996, Springer, 3-540-63494-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic Programming Workshop ![In: Inductive Logic Programming, 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers, pp. 25-40, 1996, Springer, 3-540-63494-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
41 | Raymond J. Mooney |
Inductive Logic Programming for Natural Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic Programming Workshop ![In: Inductive Logic Programming, 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers, pp. 3-22, 1996, Springer, 3-540-63494-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
41 | Pierre Flener |
Inductive Logic Program Synthesis with DIALOGS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic Programming Workshop ![In: Inductive Logic Programming, 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers, pp. 175-198, 1996, Springer, 3-540-63494-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
41 | Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen |
Dual Types of Hypotheses in Inductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nonmonotonic and Inductive Logic ![In: Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings, pp. 209-240, 1991, Springer, 3-540-56433-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
41 | Janis Barzdins, Guntis Barzdins |
Towards Efficient Inductive Synthesis: Rapid Construction of Local Regularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nonmonotonic and Inductive Logic ![In: Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings, pp. 132-140, 1991, Springer, 3-540-56433-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
41 | Klaus P. Jantke |
Monotonic and Nonmonotonic Inductive Inference of Functions and Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nonmonotonic and Inductive Logic ![In: Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings, pp. 161-177, 1990, Springer, 3-540-54564-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
41 | Rolf Wiehagen |
A Thesis in Inductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nonmonotonic and Inductive Logic ![In: Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings, pp. 184-207, 1990, Springer, 3-540-54564-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
41 | Thomas Zeugmann |
Inductive Inference of Optimal Programs: A Survey and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nonmonotonic and Inductive Logic ![In: Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings, pp. 208-222, 1990, Springer, 3-540-54564-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Ulrich Rückert 0002, Stefan Kramer 0001 |
Kernel-Based Inductive Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (2) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML/PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II, pp. 220-233, 2008, Springer, 978-3-540-87480-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LKR ![In: Large-Scale Knowledge Resources. Construction and Application, Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008, Proceedings, pp. 295-309, 2008, Springer, 978-3-540-78158-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings, pp. 425-438, 2007, Springer, 978-3-540-74254-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers, pp. 63-77, 2007, Springer, 978-3-540-78468-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, New York, NY, USA, April 18-19, 2002, pp. 12-17, 2002, ACM, 1-58113-462-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(7), pp. 641-651, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings, pp. 87-103, 2007, Springer, 978-3-540-74060-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 850-855, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Jan Struyf, Saso Dzeroski |
Constraint Based Induction of Multi-objective Regression Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDID ![In: Knowledge Discovery in Inductive Databases, 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers, pp. 222-233, 2005, Springer, 3-540-33292-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Akihiro Suyama, Naoya Negishi, Takahira Yamaguchi |
Composing Inductive Applications Using Ontologies for Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, First International Conference, DS '98, Fukuoka, Japan, December 14-16, 1998, Proceedings, pp. 429-430, 1998, Springer, 3-540-65390-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Eiju Hirowatari, Setsuo Arikawa |
A Comparison of Identification Criteria for Inductive Inference of Recursive Real-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings, pp. 262-275, 1998, Springer, 3-540-65013-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Gunter Grieser, Klaus P. Jantke, Steffen Lange |
Towards the Validation of Inductive Learning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings, pp. 409-423, 1998, Springer, 3-540-65013-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Peter Padawitz |
Inductive Proofs by Resolution and Paramodulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89), pp. 352-368, 1989, Springer, 3-540-50939-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
38 | Jakob von Raumer |
Higher inductive types, inductive families, and inductive-inductive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
38 | Vítor Santos Costa, David Page, James Cussens |
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 156-188, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Paolo Frasconi, Andrea Passerini |
Learning with Kernels and Logical Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 56-91, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 244-262, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Pedro M. Domingos, Stanley Kok, Daniel Lowd, Hoifung Poon, Matthew Richardson, Parag Singla |
Markov Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 92-117, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | José Hernández-Orallo, M. José Ramírez-Quintana |
A Strong Complete Schmema for Inductive Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings, pp. 116-127, 1999, Springer, 3-540-66109-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 1st International Symposium on Quality of Electronic Design (ISQED 2000), 20-22 March 2000, San Jose, CA, USA, pp. 513-, 2000, IEEE Computer Society, 0-7695-0525-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 14-25, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings, pp. 14, 1999, Springer, 3-540-66109-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Aaron R. Bradley, Zohar Manna |
Property-directed incremental invariant generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 379-405, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 152(3), pp. 321-338, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BSN ![In: International Conference on Body Sensor Networks, BSN 2010, Singapore, 7-9 June, 2010, pp. 84-89, 2010, IEEE, 978-1-4244-5817-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 939-949, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 969-972, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(3), pp. 347-364, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 448-457, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings, pp. 162-169, 2009, Springer, 978-3-540-92700-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(2), pp. 14:1-14:52, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 523-526, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 131-140, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(5), pp. 459-466, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 978-984, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
by-example synthesis, model transformation, inductive logic programming |
Displaying result #1 - #100 of 7783 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|