3973 search results - page 43 / 795 » Records for Logic Programming |
105
Voted
CSMR
1998
IEEE
15 years 6 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
130
Voted
FPCA
1995
15 years 6 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
137
Voted
IJCAI
2007
15 years 4 months ago
2007
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
122
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
In the recent years, consumer devices that can record broadcast video have become prevalent. Such devices rely on the program guide information about a program’s start time and ...
129
Voted
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...