4257 search results - page 227 / 852 » The Logical Modularity of Programs |
168
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
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...
156
click to vote
AAAI
1994
15 years 7 months ago
1994
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...
185
click to vote
AMAI
1999
Springer
15 years 6 months ago
1999
Springer
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&...
164
click to vote
ML
1998
ACM
15 years 6 months ago
1998
ACM
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...
192
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...