Search results for "ILP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47	Stefan Kramer 0001	Demand-Driven Construction of Structural Features in ILP.	ILP	2001	DBLP DOI BibTeX RDF
47	Andreas Karwath, Ross D. King	An Automated ILP Server in the Field of Bioinformatics.	ILP	2001	DBLP DOI BibTeX RDF
47	Ashwin Srinivasan 0001, Ross D. King, Douglas W. Bristol	An Assessment of ILP-Assisted Models for Toxicology and the PTE-3 Experiment.	ILP	1999	DBLP BibTeX RDF
47	Sam Roberts, Wim Van Laer, Nico Jacobs, Stephen H. Muggleton, Jeremy Broughton	A Comparison of ILP and Propositional Systems on Propositional Traffic Data.	ILP	1998	DBLP DOI BibTeX RDF
47	Stephen H. Muggleton	Advances in ILP Theory and Implementations (Abstract).	ILP	1998	DBLP DOI BibTeX RDF
47	Saso Dzeroski, Nico Jacobs, Martín Molina, Carlos Moure, Stephen H. Muggleton, Wim Van Laer	Detecting Traffic Problems with ILP.	ILP	1998	DBLP DOI BibTeX RDF
47	Ashwin Srinivasan 0001	Application of ILP to Problems in Chemistry and Biology (Abstract).	ILP	1998	DBLP DOI BibTeX RDF
47	Nico Jacobs, Kurt Driessens, Luc De Raedt	Using ILP-Systems for Verification and Validation of Multi-agent Systems.	ILP	1998	DBLP DOI BibTeX RDF
47	Hendrik Blockeel, Luc De Raedt	Lookahead and Discretization in ILP.	ILP	1997	DBLP DOI BibTeX RDF
47	Ashwin Srinivasan 0001, Ross D. King, Stephen H. Muggleton, Michael J. E. Sternberg	Carcinogenesis Predictions Using ILP.	ILP	1997	DBLP DOI BibTeX RDF
47	Christopher H. Bryant	Data Mining via ILP: The Application of Progol to a Database of Enantioseparations.	ILP	1997	DBLP DOI BibTeX RDF
46	Francesca A. Lisi, Floriana Esposito	Foundations of Onto-Relational Learning.	ILP	2008	DBLP DOI BibTeX RDF
46	Paolo Frasconi	Learning with Kernels and Logical Representations.	ILP	2007	DBLP DOI BibTeX RDF
46	Mark Goadrich, Jude W. Shavlik	Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilistic Estimates.	ILP	2007	DBLP DOI BibTeX RDF
46	Louis Oliphant, Jude W. Shavlik	Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming.	ILP	2007	DBLP DOI BibTeX RDF
46	Rocío García-Durán, Fernando Fernández 0001, Daniel Borrajo	Combining Macro-operators with Control Knowledge.	ILP	2006	DBLP DOI BibTeX RDF
46	Jianzhong Chen, Lawrence A. Kelley, Stephen H. Muggleton, Michael J. E. Sternberg	Multi-class Prediction Using Stochastic Logic Programs.	ILP	2006	DBLP DOI BibTeX RDF
46	Barnaby Fisher, James Cussens	Inductive Mercury Programming.	ILP	2006	DBLP DOI BibTeX RDF
46	Andreas Karwath, Kristian Kersting	Relational Sequence Alignments and Logos.	ILP	2006	DBLP DOI BibTeX RDF
46	Héctor Corrada Bravo, David Page, Raghu Ramakrishnan 0001, Jude W. Shavlik, Vítor Santos Costa	A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment.	ILP	2005	DBLP DOI BibTeX RDF
46	Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho	On Avoiding Redundancy in Inductive Logic Programming.	ILP	2004	DBLP DOI BibTeX RDF	Expert-Assistance, Redundancy
46	Oliver Ray, Krysia Broda, Alessandra Russo	Hybrid Abductive Inductive Learning: A Generalisation of Progol.	ILP	2003	DBLP DOI BibTeX RDF
46	Jesus A. Gonzalez, Lawrence B. Holder, Diane J. Cook	Experimental Comparison of Graph-Based Relational Concept Learning with Inductive Logic Programming Systems.	ILP	2002	DBLP DOI BibTeX RDF
46	Filip Zelezný, Ashwin Srinivasan 0001, David Page	Lattice-Search Runtime Distributions May Be Heavy-Tailed.	ILP	2002	DBLP DOI BibTeX RDF
46	Liviu Badea	A Refinement Operator for Theories.	ILP	2001	DBLP DOI BibTeX RDF
46	Stephen H. Muggleton, Christopher H. Bryant	Theory Completion Using Inverse Entailment.	ILP	2000	DBLP DOI BibTeX RDF
46	Alireza Tamaddoni-Nezhad, Stephen H. Muggleton	Searching the Subsumption Lattice by a Genetic Algorithm.	ILP	2000	DBLP DOI BibTeX RDF
46	Chiaki Sakama	Inverse Entailment in Nonmonotonic Logic Programs.	ILP	2000	DBLP DOI BibTeX RDF
46	Hayato Ohwada, Hiroyuki Nishiyama, Fumio Mizoguchi	Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment.	ILP	2000	DBLP DOI BibTeX RDF
46	Rupert Parson, Khalid Khan, Stephen H. Muggleton	Theory Recovery.	ILP	1999	DBLP DOI BibTeX RDF
46	Liviu Badea, Monica Stanciu	Refinement Operators Can Be (Weakly) Perfect.	ILP	1999	DBLP DOI BibTeX RDF
46	Francesca A. Lisi, Umberto Straccia	Can ILP Deal with Incomplete and Vague Structured Knowledge?	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
46	Orlando Muñoz Texzocotetla, René MacKinney-Romero	Multivalue Learning in ILP.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
46	José Carlos Almeida Santos, Manuel Fonseca de Sam Bento Ribeiro	Improving Search Engine Query Expansion Techniques with ILP.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
46	Stephen H. Muggleton, Changze Xu	Can ILP Learn Complete and Correct Game Strategies?	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
46	Hiroyuki Nishiyama, Fumio Mizoguchi	ILP for Cosmetic Product Selection.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
46	Moez Essaidi, Aomar Osmani, Céline Rouveirol	Learning Dependent-Concepts in ILP: Application to Model-Driven Data Warehouses.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
46	Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz	A Topological Study of the Upward Refinement Operators in ILP.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
46	Hendrik Blockeel, Bart Demoen, Gerda Janssens, Henk Vandecasteele, Wim Van Laer	Two Advanced Transormations for Improving the Efficiency of an ILP system.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
46	Filip Zelezný, Petr Miksovský, Olga Stepánková, Jirí Zídek	ILP for Automated Telephony.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
46	David Lorenzo, Ramón P. Otero	Using an ILP Algorithm to Learn Logic Programs for Reasoning about Actions.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
46	Gilles Richard	Identification in the Limit and Constraint ILP.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
46	Esra Erdem 0001, Pierre Flener	A New Declarative Bias for ILP: Construction Modes.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
44	Marta Franová, Yves Kodratoff	Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the 'Assets' in Theorem Proving.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF
44	Stephen H. Muggleton, José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad	TopLog: ILP Using a Logic Program Declarative Bias.	ICLP	2008	DBLP DOI BibTeX RDF
44	Remko Tronçon, Gerda Janssens	Analyzing & debugging ILP data mining query execution.	AADEBUG	2005	DBLP DOI BibTeX RDF	monitoring, debugging, traces, inductive logic programming
44	Lakshminarayanan Renganarayanan, U. Ramakrishna 0001, Sanjay V. Rajopadhye	Combined ILP and Register Tiling: Analytical Model and Optimization Framework.	LCPC	2005	DBLP DOI BibTeX RDF
44	Wen-Tsong Shiue	High Level Synthesis for Peak Power Minimization Using ILP.	ASAP	2000	DBLP DOI BibTeX RDF	Peak power minimization, latency-constrained scheduling, High-level synthesis, low power design, integer linear programming, force-directed scheduling
44	Irene Stahl	Predicate Invention in ILP - an Overview.	ECML	1993	DBLP DOI BibTeX RDF
43	Miao Liu, Hai-Feng Guo, Zhengxin Chen	On Multi-Relational Data Mining for Foundation of Data Mining.	AICCSA	2007	DBLP DOI BibTeX RDF
43	Sam Brewer, Tom Khabaza	Inductive Logic Programming in Clementine.	PKDD	2000	DBLP DOI BibTeX RDF
43	Jason Hiser, Steve Carr 0001, Philip H. Sweany	Global Register Partitioning.	IEEE PACT	2000	DBLP DOI BibTeX RDF
43	Vijay S. Pai, Parthasarathy Ranganathan, Hazim Abdel-Shafi, Sarita V. Adve	The Impact of Exploiting Instruction-Level Parallelism on Shared-Memory Multiprocessors.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	performance evaluation, instruction-level parallelism, Shared-memory multiprocessors, software prefetching
43	Teddy Turmeaux, Christel Vrain	Learning in Constraint Databases.	Discovery Science	1999	DBLP DOI BibTeX RDF
40	Michael Münch, Manfred Glesner, Norbert Wehn	An Efficient ILP-Based Scheduling Algorithm for Control-Dominated VHDL Descriptions.	ISSS	1996	DBLP DOI BibTeX RDF	control-flow dominated VHDL, time-constrainted scheduling, scheduling, ILP, code transformation, resource-constrained scheduling
39	Stefano Bertolo	Information Overload and FP7 Funding Opportunities in 2009-10.	ILP	2008	DBLP DOI BibTeX RDF
39	Ana Luísa Duboc, Aline Paes, Gerson Zaverucha	Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples.	ILP	2008	DBLP DOI BibTeX RDF
39	Lorenza Saitta, Christel Vrain	A Comparison between Two Statistical Relational Models.	ILP	2008	DBLP DOI BibTeX RDF
39	Chiaki Sakama, Katsumi Inoue	Brave Induction.	ILP	2008	DBLP DOI BibTeX RDF
39	Grant Anderson, Bernhard Pfahringer	Clustering Relational Data Based on Randomized Propositionalization.	ILP	2007	DBLP DOI BibTeX RDF	clustering, randomization, propositionalization
39	Irene M. Ong, Scott E. Topper, C. David Page Jr., Vítor Santos Costa	Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming.	ILP	2006	DBLP DOI BibTeX RDF
39	Monika Záková, Filip Zelezný, Javier A. García-Sedano, Cyril Masia Tissot, Nada Lavrac, Petr Kremen, Javier Molina	Relational Data Mining Applied to Virtual Engineering of Product Designs.	ILP	2006	DBLP DOI BibTeX RDF
39	Tomás Horváth, Peter Vojtás	Induction of Fuzzy and Annotated Logic Programs.	ILP	2006	DBLP DOI BibTeX RDF
39	Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Minimal Distance-Based Generalisation Operators for First-Order Objects.	ILP	2006	DBLP DOI BibTeX RDF
39	Margherita Berardi, Donato Malerba	Learning Recursive Patterns for Biomedical Information Extraction.	ILP	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	John Cabral, Robert C. Kahlert, Cynthia Matuszek, Michael Witbrock, Brett Summers	Converting Semantic Meta-knowledge into Inductive Bias.	ILP	2005	DBLP DOI BibTeX RDF
39	Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima	Inducing Causal Laws by Regular Inference.	ILP	2005	DBLP DOI BibTeX RDF
39	Ashwin Srinivasan 0001	Five Problems in Five Areas for Five Years.	ILP	2005	DBLP DOI BibTeX RDF
39	Tolga Könik, John E. Laird	Learning Goal Hierarchies from Structured Observations and Expert Annotations.	ILP	2004	DBLP DOI BibTeX RDF
39	Mark Goadrich, Louis Oliphant, Jude W. Shavlik	Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction.	ILP	2004	DBLP DOI BibTeX RDF
39	Francesca A. Lisi, Floriana Esposito	Efficient Evaluation of Candidate Hypotheses in AL-log.	ILP	2004	DBLP DOI BibTeX RDF
39	Érick Alphonse	Macro-Operators Revisited in Inductive Logic Programming.	ILP	2004	DBLP DOI BibTeX RDF
39	Jérôme Maloberti, Einoshin Suzuki	An Efficient Algorithm for Reducing Clauses Based on Constraint Satisfaction Techniques.	ILP	2004	DBLP DOI BibTeX RDF
39	Mark D. Reid	Improving Rule Evaluation Using Multitask Learning.	ILP	2004	DBLP DOI BibTeX RDF
39	Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephen H. Muggleton, Florencio Pazos	Modelling Inhibition in Metabolic Pathways Through Abduction and Induction.	ILP	2004	DBLP DOI BibTeX RDF
39	James Cussens	At the Interface of Inductive Logic Programming and Statistics.	ILP	2004	DBLP DOI BibTeX RDF
39	Nuno A. Fonseca, Ricardo Rocha 0001, Rui Camacho, Fernando M. A. Silva	Efficient Data Structures for Inductive Logic Programming.	ILP	2003	DBLP DOI BibTeX RDF
39	Mark-A. Krogel, Simon Alan Rawles, Filip Zelezný, Peter A. Flach, Nada Lavrac, Stefan Wrobel	Comparative Evaluation of Approaches to Propositionalization.	ILP	2003	DBLP DOI BibTeX RDF
39	Asmir Tobudic, Gerhard Widmer	Relational IBL in Music with a New Structural Similarity Measure.	ILP	2003	DBLP DOI BibTeX RDF	Relational instance-based learning, music
39	Nada Lavrac, Filip Zelezný, Peter A. Flach	RSD: Relational Subgroup Discovery through First-Order Feature Construction.	ILP	2002	DBLP DOI BibTeX RDF
39	Stephen H. Muggleton	Learning Structure and Parameters of Stochastic Logic Programs.	ILP	2002	DBLP DOI BibTeX RDF	Stochastic logic programs, numerical methods, generalisation, analytical methods
39	Irene Weber	Experimental Investigation of Pruning Methods for Relational Pattern Discovery.	ILP	2002	DBLP DOI BibTeX RDF
39	Stephen Moyle	Using Theory Completion to Learn a Robot Navigation Control Program.	ILP	2002	DBLP DOI BibTeX RDF
39	Chad M. Cumby, Dan Roth	Learning with Feature Description Logics.	ILP	2002	DBLP DOI BibTeX RDF
39	Isabelle Bournaud, Mélanie Courtine, Jean-Daniel Zucker	Propositionalization for Clustering Symbolic Relational Descriptions.	ILP	2002	DBLP DOI BibTeX RDF
39	Nico Jacobs, Hendrik Blockeel	From Shell Logs to Shell Scripts.	ILP	2001	DBLP DOI BibTeX RDF	sequences, adaptive user interface
39	Liviu Badea, Shan-Hwei Nienhuys-Cheng	A Refinement Operator for Description Logics.	ILP	2000	DBLP DOI BibTeX RDF
39	Tomofumi Nakano, Nobuhiro Inuzuka	Solving Selection Problems Using Preference Relation Based on Bayesian Learning.	ILP	2000	DBLP DOI BibTeX RDF
39	Shan-Hwei Nienhuys-Cheng, Wim Van Laer, Jan Ramon, Luc De Raedt	Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms.	ILP	1999	DBLP DOI BibTeX RDF
39	Dimitar Kazakov	Combining LAPIS and WordNet for Learning of LR Parsers with Optimal Semantic Constraints.	ILP	1999	DBLP DOI BibTeX RDF
39	Saso Dzeroski, Hendrik Blockeel, Boris Kompare, Stefan Kramer 0001, Bernhard Pfahringer, Wim Van Laer	Experiments in Predicting Biodegradability.	ILP	1999	DBLP DOI BibTeX RDF
39	Stephen H. Muggleton, Michael Bain 0001	Analogical Prediction.	ILP	1999	DBLP DOI BibTeX RDF
39	Yang Yu 0009, Viktor K. Prasanna	Energy-Balanced Task Allocation for Collaborative Processing in Wireless Sensor Networks.	Mob. Networks Appl.	2005	DBLP DOI BibTeX RDF	single-hop wireless networks, sensor networks, energy saving, ILP
39	Calvin Ko	Logic Induction of Valid Behavior Specifications for Intrusion Detection.	S&P	2000	DBLP DOI BibTeX RDF	Specification-based detection, Valid behavior specifications, Machine Learning, Intrusion detection, Inductive Logic Programming, ILP
39	Huiyang Zhou, Thomas M. Conte	Code Size Efficiency in Global Scheduling for ILP Processors.	Interaction between Compilers and Computer Architectures	2002	DBLP DOI BibTeX RDF	Code Size Efficiency, I-cache Performance, Code Replication, Tail Duplication, Optimal Code Size Efficiency, Diminishing Returns, Quantitative Measure, Instruction Level Parallelism (ILP)
39	Michael Münch, Norbert Wehn, Manfred Glesner	An efficient ILP-based scheduling algorithm for control-dominated VHDL descriptions.	ACM Trans. Design Autom. Electr. Syst.	1997	DBLP DOI BibTeX RDF	scheduling, timing constraints, integer linear programming (ILP)
38	Xiaojun Cao, Vishal Anand 0001, Chunming Qiao	Waveband switching for dynamic traffic demands in multigranular optical networks.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	multigranular (MG), optical cross-connects, waveband switching, wavelength division multiplexing (WDM), integer linear programming (ILP)
38	Fadi A. Aloul, Nagarajan Kandasamy	Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach.	SAT	2007	DBLP DOI BibTeX RDF	0-1 ILP, UAV networks, distributed systems, fault diagnosis, SAT
38	Chongbing Liu, Enrico Pontelli	Nonmonotonic inductive logic programming by instance patterns.	PPDP	2007	DBLP DOI BibTeX RDF	instance patterns, nonmonotonic ilp, specialization