Sciweavers

3566 search results - page 35 / 714
» Signed Logic Programs
Sort
View
100
Voted
EPS
1995
Springer
15 years 6 months ago
An Adaptive Inductive Logic Programming System Using Genetic Programming
Man Leung Wong, Kwong-Sak Leung
75
Voted
ELP
1989
15 years 6 months ago
Logic Programming, Functional Programming, and Inductive Definitions
Lawrence C. Paulson, Andrew W. Smith
95
Voted
CORR
2002
Springer
119views Education» more  CORR 2002»
15 years 2 months ago
Composing Programs in a Rewriting Logic for Declarative Programming
Juan M. Molina-Bravo, Ernesto Pimentel
104
Voted
CSMR
1998
IEEE
15 years 6 months ago
A Metrics Suite for Concurrent Logic Programs
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,...
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima