4573 search results - page 533 / 915 » Automated Reasoning |
112
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
126
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
134
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
124
Voted
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we focus on the problem of existence of and computing small and large stable models. We show that for every xed integer k, there is a linear-time algorithm to decid...
132
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
Delaying-based tabling mechanisms, such as the one adopted in XSB, are nonlinear in the sense that the computation state of delayed calls has to be preserved. In this paper, we pr...