1445 search results - page 87 / 289 » Abstract Interpretation of Logic Programs |
141
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
123
click to vote
UAI
2003
15 years 4 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
146
click to vote
CCL
1994
Springer
15 years 7 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
145
click to vote
RULEML
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
129
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...