977 search results - page 20 / 196 » Logic programming with infinite sets |
111
click to vote
ILP
2005
Springer
15 years 6 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
131
Voted
ACSD
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...
116
Voted
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
15 years 6 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
79
Voted
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
94
Voted
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM