Sciweavers

215 search results - page 16 / 43
» Integrating Abduction and Induction
Sort
View
AAAI
2006
13 years 9 months ago
kFOIL: Learning Simple Relational Kernels
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
Niels Landwehr, Andrea Passerini, Luc De Raedt, Pa...
IIS
2003
13 years 9 months ago
The Development of the Inductive Database System VINLEN: A Review of Current Research
Current research on the VINLEN inductive database system is briefly reviewed and illustrated by selected results. The goal of research on VINLEN is to develop a methodology for de...
Kenneth A. Kaufman, Ryszard S. Michalski
JUCS
2007
108views more  JUCS 2007»
13 years 7 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
ILP
2007
Springer
14 years 1 months ago
Applying Inductive Logic Programming to Process Mining
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Serg...
LREC
2008
193views Education» more  LREC 2008»
13 years 9 months ago
Automated Subject Induction from Query Keywords through Wikipedia Categories and Subject Headings
This paper addresses a novel approach that integrates two different types of information resources: the World Wide Web and libraries. This approach is based on a hypothesis: advan...
Yoji Kiyota, Noriyuki Tamura, Satoshi Sakai, Hiros...