Sciweavers

13 search results - page 2 / 3
» A Nonmonotonic Logical Approach for Modelling and Revising M...
Sort
View
BMCBI
2008
119views more  BMCBI 2008»
13 years 6 months ago
On deducing causality in metabolic networks
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
AAAI
2007
13 years 8 months ago
Mapping and Revising Markov Logic Networks for Transfer Learning
Transfer learning addresses the problem of how to leverage knowledge acquired in a source domain to improve the accuracy and speed of learning in a related target domain. This pap...
Lilyana Mihalkova, Tuyen N. Huynh, Raymond J. Moon...
LICS
2006
IEEE
14 years 5 days ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell
ML
2008
ACM
150views Machine Learning» more  ML 2008»
13 years 6 months ago
Learning probabilistic logic models from probabilistic examples
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, José Car...
DIS
2007
Springer
14 years 10 days ago
A Consequence Finding Approach for Full Clausal Abduction
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
Oliver Ray, Katsumi Inoue