1143 search results - page 68 / 229 » Abstract Syntax and Logic Programming |
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
127
click to vote
DIAGRAMS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
135
click to vote
CADE
1998
Springer
15 years 6 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...
114
click to vote
UAI
2003
15 years 3 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...
139
Voted
CCL
1994
Springer
15 years 6 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...