Sciweavers

4370 search results - page 236 / 874
» Algebra of Logic Programming
Sort
View
116
Voted
PLILP
1998
Springer
15 years 4 months ago
Logic Programming and Model Checking
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kum...
101
Voted
ECAI
2004
Springer
15 years 4 months ago
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou
DIS
2006
Springer
15 years 4 months ago
Prediction of Domain-Domain Interactions Using Inductive Logic Programming from Multiple Genome Databases
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
Thanh Phuong Nguyen, Tu Bao Ho
97
Voted
AAAI
1994
15 years 1 months ago
Recovering Software Specifications with Inductive Logic Programming
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
William W. Cohen
AMAI
1999
Springer
15 years 7 days ago
From Logic Programming Towards Multi-Agent Systems
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
Robert A. Kowalski, Fariba Sadri