3470 search results - page 71 / 694 » Head-Elementary-Set-Free Logic Programs |
166
click to vote
TPLP
2002
15 years 4 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
160
click to vote
JMLR
2008
15 years 4 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
138
click to vote
PLILP
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
168
click to vote
PODS
1991
ACM
15 years 8 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
176
click to vote
DALT
2008
Springer
15 years 6 months ago
2008
Springer
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...