Sciweavers

1581 search results - page 44 / 317
» Mechanizing Inductive Reasoning
Sort
View
145
Voted
ILP
2004
Springer
15 years 10 months ago
Modelling Inhibition in Metabolic Pathways Through Abduction and Induction
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephe...
157
Voted
ILP
2003
Springer
15 years 10 months ago
Hybrid Abductive Inductive Learning: A Generalisation of Progol
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
Oliver Ray, Krysia Broda, Alessandra Russo
136
Voted
ESWS
2008
Springer
15 years 6 months ago
Query Answering and Ontology Population: An Inductive Approach
In order to overcome the limitations of deductive logic-based approaches to deriving operational knowledge from ontologies, especially when data come from distributed sources, indu...
Claudia d'Amato, Nicola Fanizzi, Floriana Esposito
TFS
2011
194views Education» more  TFS 2011»
14 years 12 months ago
Top-Down Induction of Fuzzy Pattern Trees
Fuzzy pattern tree induction was recently introduced as a novel machine learning method for classification. Roughly speaking, a pattern tree is a hierarchical, tree-like structur...
R. Senge, Eyke Hüllermeier
145
Voted
TARK
1998
Springer
15 years 9 months ago
Simulative Inference About Nonmonotonic Reasoners
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
Aaron N. Kaplan