3845 search results - page 600 / 769 » Belief Logic Programming |
151
click to vote
ICLP
2005
Springer
16 years 22 hour ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
159
click to vote
PPDP
2005
Springer
16 years 3 hour ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
172
click to vote
PPDP
2005
Springer
16 years 3 hour ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
144
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
171
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...